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:

- 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