| 2006 | Modality, Paraconsistency and Paracompleteness. | Ricardo Sousa Silvestre |
| 2006 | From topology to metric: modal logic and quantification in metric spaces. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | Completeness and incompleteness in first-order modal logic: an overview. | Valentin B. Shehtman |
| 2006 | Downward-directed transitive frames with universal relations. | Ilya Shapirovsky |
| 2006 | Developing Modal Tableaux and Resolution Methods via First-Order Resolution. | Renate A. Schmidt |
| 2006 | Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. | Mikhail N. Rybakov |
| 2006 | On the Deterministic Horn Fragment of Test-free PDL. | Linh Anh Nguyen |
| 2006 | Quantification over names and modalities. | Eric Martin |
| 2006 | Isomorphism via translation. | Tadeusz Litak |
| 2006 | Topological Modal Logics with Difference Modality. | Andrey Kudinov |
| 2006 | Dynamic topological logics over spaces with continuous functions. | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2006 | Weaker-to-Stronger Translational Embeddings in Modal Logic. | Lloyd Humberstone |
| 2006 | Regarding Overlaps in 'Topologic'. | Bernhard Heinemann |
| 2006 | A decidable modal logic that is finitely undecidable. | Igor Gorbunov |
| 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 | Conservative extensions in modal logic. | Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | Terminating modal tableaux with simple completeness proof. | Olivier Gasquet, Andreas Herzig, Mohamad Sahade |
| 2006 | Bisimulation Quantified Modal Logics: Decidability. | Tim French |
| 2006 | ML is not finitely axiomatizable over Cheq. | Galle Fontaine |
| 2006 | The Truth About Algorithmic Problems in Correspondence Theory. | Alexander V. Chagrov, Lilia Chagrova |
| 2006 | Deep Sequent Systems for Modal Logic. | Kai Brnnler |
| 2006 | The Tree of Knowledge in Action: Towards a Common Perspective. | Johan van Benthem, Eric Pacuit |
| 2006 | Every world can see a Sahlqvist world. | Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman |
| 2006 | An expressive two-sorted spatial logic for plane projective geometry. | Philippe Balbiani |