Advances in Modal Logic, Volume 6

Guido Governatori,
Ian Hodkinson and
Yde Venema, editors

College Publications, 2006

ISBN 1-904987-20-6

Volume 6 contains invited and contributed papers from the sixth conference on "Advances in Modal logic," held in Noosa, Queensland, Australia, on 25-28 September 2006.

Volume 6 is available online:

Table of Contents

• Preface, vii-viii
• Renate A. Schmidt, Developing Modal Tableaux and Resolution Methods via First-Order Resolution, 1-26
• Valentin Shehtman, Completeness and incompleteness in first-order modal logic: an overview, 27-30
• Natasha Alechina and Dmitry Shkatov, Logics with an existential modality, 31-48
• Philippe Balbiani, An expressive two-sorted spatial logic for plane projective geometry, 49-68
• P. Balbiani, I. Shapirovsky, V. Shehtman, Every world can see a Sahlqvist world, 69-85
• Johan van Benthem and Eric Pacuit, The Tree of Knowledge in Action: Towards a Common Perspective, 87-106
• Kai Brünnler, Deep Sequent Systems for Modal Logic, 107-
• Alexander Chagrov and Lilia Chagrova, The Truth About Algorithmic Problems in Correspondence Theory, 121-138
• Gaëlle Fontaine, ML is not finitely axiomatizable over Cheq, 139-146
• Tim French, Bisimulation Quantified Modal Logics: Decidability, 147-166
• Olivier Gasquet, Andreas Herzig, Mohamad Sahade, Terminating modal tableaux with simple completeness proof, 167-186
• S. Ghilardi, C. Lutz, F. Wolter and M. Zakharyaschev, Conservative extensions in modal logic, 187-207
• Robert Goldblatt, A Kripke-Joyal Semantics for Noncommutative Logic in Quantales, 209-225
• Robert Goldblatt and Edwin D. Mares, A General Semantics for Quantified Modal Logic, 227-246
• Igor Gorbunov, A decidable modal logic that is finitely undecidable, 247-258
• Bernhard Heinemann, Regarding Overlaps in `Topologic', 259-277
• Lloyd Humberstone, Weaker-to-Stronger Translational Embeddings in Modal Logic, 279-297
• B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev, Dynamic topological logics over spaces with continuous functions, 299-318
• Andrey Kudinov, Topological Modal Logics with Difference Modality, 319-332
• Tadeusz Litak, Isomorphism via translation, 333-351
• Eric Martin, Quantification over names and modalities, 353-372
• Linh Anh Nguyen On the Deterministic Horn Fragment of Test-free PDL, 373-392
• Mikhail Rybakov Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables, 393-411
• Ilya Shapirovsky, Downward-directed transitive frames with universal relations, 413-428
• M. Sheremet, D. Tishkovsky, F. Wolter and M. Zakharyaschev, From topology to metric: modal logic and quantification in metric spaces, 429-448
• Ricardo Sousa Silvestre, Modality, Paraconsistency and Paracompleteness, 449-467
• Hiroki Takamura, The variety of modal FL_ew-algebras is generated by its finite simple members, 469-479
• Tero Tulenheimo and Merlijn Sevenster, On Modal Logic, IF Logic, and IF Modal Logic, 481-501
• Heinrich Wansing, Tableaux for multi-agent deliberative-stit logic, 503-520