Advances in Modal Logic, Volume 5

Renate Schmidt,
Ian Pratt-Hartmann,
Mark Reynolds, and
Heinrich Wansing, editors

King's College Publications, 2005

ISBN 1904987222

Volume 5 contains invited and contributed papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004.

Volume 5 is available online:

Table of Contents

• Editorial Preface, R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, v
• Complexity of Strict Implication, F. Bou, 1-16
• Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model­theoretic Aspects, W. Conradie, V. Goranko and D. Vakarelov, 17-51
• Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States, T. French, R. van der Meyden, M. Reynolds, 53-72
• A Two-sorted Hybrid Logic Including Guarded Jumps, B. Heinemann, 73-92
• On the Modularity of Theories, A. Herzig and I. Varzinczak, 93-109
• Decidability of IF Modal Logic of Perfect Recall, T. Hyttinen and T. Tulenheimo, 111-131
• A Lower Complexity Bound for Propositional Dynamic Logic with Intersection, M. Lange, 133-147
• On Notions of Completeness Weaker than Kripke Completeness, T. Litak, 149-169
• Normal Modal Logics Containing KTB with some Finiteness Conditions, Y. Miyazaki, 171-190
• On the Formal Structure of Continuous Action, T. Müller, 191-209
• Utilitarian Deontic Logic, Y. Murakami, 211-230
• Resolution for Synchrony and No Learning, C. Nalon, C. Dixon and M. Fisher, 231-248
• On the Complexity of Fragments of Modal Logics, L. A. Nguyen, 249-268
• On PSPACE-decidability in Transitive Modal Logic, I. Shapirovsky, 269-287
• Filtration via Bisimulation, V. Shehtman, 289-308
• A Systematic Proof Theory for Several Modal Logics, C. Stewart and P. Stouppa, 309-333
• Public Announcements and Belief Expansion, H. van Ditmarsch, W. van der Hoek and B. Kooi, 335-346
• Consistency Proofs for Systems of Multi­agent Only Knowing, A. Waaler, 347-366
• Connexive Modal Logic, H. Wansing, 367-383
• Index, 385-389