Advances in Modal Logic 2004: Manchester, UK

• Félix Bou:
  Complexity of Strict Implication. 1-16
  
• Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
  Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. 17-51
  
• Tim French, Ron van der Meyden, Mark Reynolds:
  Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. 53-72
  
• Bernhard Heinemann:
  A Two sorted Hybrid Logic Including Guarded Jumps. 73-92
  
• Andreas Herzig, Ivan José Varzinczak:
  On the Modularity of Theories. 93-109
  
• Tapani Hyttinen, Tero Tulenheimo:
  Decidability of IF Modal Logic of Perfect Recall. 111-131
  
• Martin Lange:
  A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. 133-147
  
• Tadeusz Litak:
  On Notions of Completeness Weaker than Kripke Completeness. 149-169
  
• Yutaka Miyazaki:
  Normal Modal Logics Containing KTB with some Finiteness Conditions. 171-190
  
• Thomas Müller:
  On the Formal Structure of Continuous Action. 191-209
  
• Yuko Murakami:
  Utilitarian Deontic Logic. 211-230
  
• Cláudia Nalon, Clare Dixon, Michael Fisher:
  Resolution for Synchrony and No Learning. 231-248
  
• Linh Anh Nguyen:
  On the Complexity of Fragments of Modal Logics. 249-268
  
• Ilya Shapirovsky:
  On PSPACE-decidability in Transitive Modal Logic. 269-287
  
• Valentin B. Shehtman:
  Filtration via Bisimulation. 289-308
  
• Charles Stewart, Phiniki Stouppa:
  A Systematic Proof Theory for Several Modal Logics. 309-333
  
• Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
  Public Announcements and Belief Expansion. 335-346
  
• Arild Waaler:
  Consistency Proofs for Systems of Multi?agent Only Knowing. 347-366
  
• Heinrich Wansing:
  Connexive Modal Logic. 367-383
  

Last update Tue May 22 03:55:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page