Advances in Modal Logic 2004: Manchester, UK

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