| 2006 | A General Semantics for Quantified Modal Logic. Robert Goldblatt, Edwin D. Mares |
| 2006 | A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. Robert Goldblatt |
| 2006 | A decidable modal logic that is finitely undecidable. Igor Gorbunov |
| 2006 | Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006 Guido Governatori, Ian M. Hodkinson, Yde Venema |
| 2006 | An expressive two-sorted spatial logic for plane projective geometry. Philippe Balbiani |
| 2006 | Bisimulation Quantified Modal Logics: Decidability. Tim French |
| 2006 | Completeness and incompleteness in first-order modal logic: an overview. Valentin B. Shehtman |
| 2006 | Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. Mikhail N. Rybakov |
| 2006 | Conservative extensions in modal logic. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | Deep Sequent Systems for Modal Logic. Kai Brünnler |
| 2006 | Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Renate A. Schmidt |
| 2006 | Downward-directed transitive frames with universal relations. Ilya Shapirovsky |
| 2006 | Dynamic topological logics over spaces with continuous functions. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2006 | Every world can see a Sahlqvist world. Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman |
| 2006 | From topology to metric: modal logic and quantification in metric spaces. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | Isomorphism via translation. Tadeusz Litak |
| 2006 | Logics with an existential modality. Natasha Alechina, Dmitry Shkatov |
| 2006 | ML is not finitely axiomatizable over Cheq. Gaëlle Fontaine |
| 2006 | Modality, Paraconsistency and Paracompleteness. Ricardo Sousa Silvestre |
| 2006 | On Modal Logic, IF Logic, and IF Modal Logic. Tero Tulenheimo, Merlijn Sevenster |
| 2006 | On the Deterministic Horn Fragment of Test-free PDL. Linh Anh Nguyen |
| 2006 | Quantification over names and modalities. Eric Martin |
| 2006 | Regarding Overlaps in 'Topologic'. Bernhard Heinemann |
| 2006 | Tableaux for multi-agent deliberative-stit logic. Heinrich Wansing |
| 2006 | Terminating modal tableaux with simple completeness proof. Olivier Gasquet, Andreas Herzig, Mohamad Sahade |
| 2006 | The Tree of Knowledge in Action: Towards a Common Perspective. Johan van Benthem, Eric Pacuit |
| 2006 | The Truth About Algorithmic Problems in Correspondence Theory. Alexander V. Chagrov, Lilia Chagrova |
| 2006 | The variety of modal FL Hiroki Takamura |
| 2006 | Topological Modal Logics with Difference Modality. Andrey Kudinov |
| 2006 | Weaker-to-Stronger Translational Embeddings in Modal Logic. Lloyd Humberstone |