## 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 Modeltheoretic 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 Twosorted 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 Multiagent Only Knowing, A. Waaler, 347-366
- Connexive Modal Logic, H. Wansing, 367-383
- Index, 385-389