Disclaimer

Books and Lecture Notes

2. "Diskrete Mathematik und Logik" (Cottbus lecture, 2001, in German)
1. "Tools and Techniques in Modal Logic", Studies in Logic and the Foundations of Mathematics No. 142, Elsevier, Amsterdam, 1999.

Articles

34. "The Language Multiverse". Logic-Philosophical Studies 14. Yearbook of the St. Petersburg Logic Society. 2016. 24-35.
33. "Logics of Infinite Depth". In Lev Beklemishev, Stéphane Demri and András Máté (Eds.): Advances in Modal Logic. Vol. 11. College Publications. Vol. 11. 2016. 435 - 448.
32. "Are Logical Languages Compositional?". Studia Logica 101. 2013, 1319 - 1340.
31. "Joint Knowledge". In Thomas Graf, Denis Paperno and Jos Tellings (Eds.): Theories of Everything: In Honor of Ed Keenan. UCLA Working Papers in Linguistics 17(2012). 168 - 176. (Creative Commons Non-Commercial License. http://creativecommons.org/licenses/by-nc/3.0/.)
30. "Gnosticism or: How Logics Fits My Mind". Logical Investigations 18(2012), 273 - 291.
29. "Technical Modal Logic". Philosophy Compass 6/5(2011), 350 - 359.
28. "Judgment and Consequence Relations". Journal of Applied Nonclassical Logic 20(2010). 223 - 235.
27. "The Logic of Action". (with Jean-Jules Meyer and Krister Segerberg), Stanford Encyclopedia of Philosophy. 2008
26. "Logically Possible Worlds and Counterparts". In Dale Jacquette (Ed.): Philosophy of Logic, Elsevier. 2007. 963 - 1018. (With Oliver Kutz.)
25. "Modal Consequence Relations". In Johan van Benthem, Yde Venema and Frank Wolter (Eds.): Handbook of Modal Logic, Elsevier. 2006. 497 - 549.
24. "Semisimple Varieties of Modal Algebras". Studia Logica 83(2006). 101 - 114. (With Tomasz Kowalski.)
23. "Elementary Models for Modal Predicate Logics, Part 2: Modal Individuals Revisited". In Reinhard Kahle (Ed.): Intensionality, 2005, 60 - 96. (With Oliver Kutz.)
22. "Notes On Substitution in First-Order Logic". In Vincent Hendricks, Fabian Neuhaus, Stig-Andur Pedersen, Uwe Scheffler, and Heinrich Wansing (Eds.): First-Order Logic Revisited, Logos Verlag, Berlin, 2004. 155 - 172.
21. "Notes on the Space Requirements for Checking Satisfiability in Modal Logics". In Philippe Balbiani, Nobo-Yuki Suzuki, Frank Wolter and Michael Zakaryaschev (Eds.): Advances in Modal Logic 4, King's College Publications, 2003. 243 - 264.
20. "Invariant Logics", Mathematical Logic Quarterly 48(2002), 29 - 50.
19. "Reducing Modal Consequence Relations", Journal of Logic and Computation 11(2001), 879 - 907.
18. "Atomic Incompleteness of how to kill one bird with two stones", Bulletin of Section Logic 30/2(2001), 71 - 78. (With Tomasz Kowalski.)
17. "Elementary Models for Modal Predicate Logic. Part I: Completeness". In Frank Wolter, Maarten de Rijke, Heinrich Wansing and Michael Zakharyaschev (Eds.): Proceedings of AiML 2000. 299 - 320. (Mit Oliver Kutz.) Errata.
16. "Modal Logics that Need Very Large Frames". Notre Dame Journal of Formal Logic 40(1999), 141 - 173.
15. "Lattices of Modal Logics and Their Groups of Automorphisms". Annals of Pure and Applied Logic 100(1999), 99 - 139.
14. "Normal monomodal logics can simulate all others". Journal of Symbol Logic 64(1999), 99 - 138 (Mit Frank Wolter.)
13. "On Extensions of Intermediate Logics by Strong Negation". Journal of Philosophical Logic 27(1998), 49 - 73.
12. "Simulation and Transfer Results in Modal Logic -- A Survey". Studia Logica 59(1997), 149 - 177. (With Frank Wolter.)
11. "Power and Weakness of the Modal Display Calculus". In Heinrich Wansing (Ed.): Proof Theory of Modal Logic, Studies in Applied Logic Vol. 2, Kluwer, Dordrecht, 1996, 95 - 122.
10. "Gumm's Theorem and the Structure of Minimal Algebras". Algebra Universalis 33(1995), 142 - 146.
9. "Highway to the Danger Zone". Journal of Logic and Computation 5(1995), 93 - 109.
8. "Prefinitely axiomatizable modal and intermediate logics". Mathematical Logic Quarterly 39(1993), 301 - 322.
7. "How Completeness and Correspondence Theory Got Married". In Maarten de Rijke (Ed.): Diamonds and Defaults, Synthese Library vol. 229, Kluwer Academic Publishers, 1993. 175 - 214.
6. "Splittings and the finite model property". The Journal of Symbolic Logic 58(1993), 139 - 157.
5. "Even more about the lattice of tense logics". Archive of Mathematical Logic 31(1992), 243 - 257.
4. "Properties of Independently Axiomatizable Bimodal Logics". The Journal of Symbolic Logic 56(1991), 1469 - 1485. (Mit Frank Wolter.)
3. "A Solution to a Problem of Urquhart". Journal of Philosophical Logic 20(1991), 285 - 286.
2. "Internal Definability and Completeness in Modal Logic". PhD Thesis, Department of Mathematics, FU Berlin, 1991.
1. "An Almost General Splitting Theorem For Modal Logic", Studia Logica 49(1990), 455 - 470.

In Preparation

4. "Sahlqvist Horn Logics Have Interpolation. Manuscript. UCLA. 2005.
3. "The Global Decidability of K x K. ♦ ◽ p → ◼ ◊ p and related logics", Manuscript (to appear in a paper with Philippe Balbiani, Jen Davoren and Raj Goré) (If your browser does not disply the title correctly it could be that it has not yet implemented the full SGML symbols.)
2. "That FINE-splittings are definable". Proceedings of the Kleene Symposium, Varna, 1990. (This volume never got published. I have published the proof as an appendix to Reducing Modal Consequence Relations, see Number 19 above.)
1. "Logics of width 2 lacking the finite model property". Abstract for the summer meeting of the ASL 1989 in Berlin. Unpublished.