Disclaimer

Bücher und Vorlesungsmanuskripte

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

Aufsätze

34. "The Language Multiverse". Logic-Philosophical Studies Nr. 14, Jahrbuch der St. Petersburger Logischen Vereinigung, 2016. 24 - 35.
33. "Logics of Infinite Depth". In Lev Beklemishev, Stéphane Demri und András Máté (Hrsg.): Advances in Modal Logic. Vol. 11. College Publications. London. 2016. 435 - 448..
32. "Are Logical Languages Compositional?". Studia Logica 101. 2013, 1319 - 1340.
31. "Joint Knowledge". In Thomas Graf, Denis Paperno und Jos Tellings (Hrsg.): 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/.)
32. "Gnosticism or: How Logic 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". (mit Jean-Jules Meyer und Krister Segerberg), Stanford Encyclopedia of Philosophy. 2008.
26. "Logically Possible Worlds and Counterparts". In Dale Jacquette (Hrsg.): Philosophy of Logic, Elsevier. 2007. 963 - 1018. (Mit Oliver Kutz.)
25. "Modal Consequence Relations". In Johan van Benthem, Yde Venema und Frank Wolter (Hrsg.): Handbook of Modal Logic, Elsevier. 2006. 497 - 549.
24. "Semisimple Varieties of Modal Algebras". Studia Logica 83(2006). 101 - 114. (Mit Tomasz Kowalski.)
23. "Elementary Models for Modal Predicate Logics, Part 2: Modal Individuals Revisited". In Reinhard Kahle (Hrsg.): Intensionality, 2005, 60 - 96. (Mit Oliver Kutz.)
22. "Notes On Substitution in First-Order Logic". In Vincent Hendricks, Fabian Neuhaus, Stig-Andur Pedersen, Uwe Scheffler und Heinrich Wansing (Hrsg.): 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 und Michael Zakaryaschev (Hrsg.): 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. (Mit Tomasz Kowalski.)
17. "Elementary Models for Modal Predicate Logic. Part I: Completeness". In Frank Wolter, Maarten de Rijke, Heinrich Wansing und Michael Zakharyaschev (Hrsg.): 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. (Mit Frank Wolter.)
11. "Power and Weakness of the Modal Display Calculus". In Heinrich Wansing (Hrsg.): 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 (Hrsg.): 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 Vorbereitung

4. "Sahlqvist Horn Logics Have Interpolation, Manuscript, UCLA, 2005.
3. "The Global Decidability of K x K. ♦ ◽ p → ◼ ◊ p and related logics", Manuskript (erscheint in einem Aufsatz mit Philippe Balbiani, Jen Davoren und Raj Goré) (falls der Titel nicht richtig angezeigt wird, liegt dies daran, dass der Browser nicht den gesamten SGML Zeichensatz unterstützt!)
2. "That FINE-splittings are definable". Proceedings of the Kleene Symposium, Varna, 1990. (Der Tagungsband wurde nie veröffentlicht. Ich habe deshalb diese Arbeit in einen Anhang zu Reducing Modal Consequence Relations umgearbeitet, siehe Number 19 oben.)
1. "Logics of width 2 lacking the finite model property". Abstract für die Sommertagung der ASL 1989 in Berlin. Unveröffentlicht.