Journal of Applied Non-Classical Logics, Volume 14

Volume 14, Number 1-2, 2004

• Valentin Goranko, Angelo Montanari, Guido Sciavicco:
  A Road Map of Interval Temporal Logics and Duration Calculi. 9-54
  
• Ben C. Moszkowski:
  A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. 55-104
  
• Rodolfo Gómez, Howard Bowman:
  PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. 105-148
  
• Dimitar P. Guelev, Dang Van Hung:
  A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. 149-180
  
• Dimitar P. Guelev:
  Logical Interpolation and Projection onto State in the Duration Calculus. 181-208
  
• Alessandro Artale, Carsten Lutz:
  A Correspondence between Temporal Description Logics. 209-233
  

Volume 14, Number 3, 2004

• Churn-Jung Liau:
  Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics. 247-274
  
• Sébastien Konieczny:
  Belief Base Merging as a Game. 275-294
  
• Laurence Cholvy, Christophe Garion:
  Querying several conflicting databases. 295-327
  
• Anthony Hunter, Rupert Summerton:
  Fusion Rules for Context-Dependent Aggregation of Structured News Reports. 329-366
  
• Jirí Vomlel:
  Integrating Inconsistent Data in a Probabilistic Model. 367-386
  

Volume 14, Number 4, 2004

• Clare Dixon, Cláudia Nalon, Michael Fisher:
  Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. 397-445
  
• Nicole Bidoit, Serenella Cerrito, Virginie Thion:
  A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. 447-475
  
• Jean-Marc Tallon, Jean-Christophe Vergnaud, Shmuel Zamir:
  Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures. 477-500
  

Last update Sat May 18 16:41:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page