| 2012 | Topological Completeness of First-Order Modal Logics. | Steven Awodey, Kohei Kishida |
| 2010 | Proofs, Disproofs, and Their Duals. | Heinrich Wansing |
| 2010 | A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. | Eric Ufferman, Pedro Arturo Gngora, Francisco Hernndez Quiroz |
| 2010 | A Simple Semantics for Aristotelian Apodeictic Syllogistics. | Sara L. Uckelman, Spencer Johnston |
| 2010 | Logics of Space with Connectedness Predicates: Complete Axiomatizations. | Tinko Tinchev, Dimiter Vakarelov |
| 2010 | Bi-approximation Semantics for Substructural Logic at Work. | Tomoyuki Suzuki |
| 2010 | A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. | Dmitrij P. Skvortsov |
| 2010 | Simulation of Two Dimensions in Unimodal Logics. | Ilya Shapirovsky |
| 2010 | Uniform Interpolation for Monotone Modal Logic. | Luigi Santocanale, Yde Venema |
| 2010 | Goldblatt-Thomason-style Theorems for Graded Modal Language. | Katsuhiko Sano, Minghui Ma |
| 2010 | Complexity of the Lambek Calculus and Its Fragments. | Mati Pentus |
| 2010 | Coalgebraic Lindstrom Theorems. | Alexander Kurz, Yde Venema |
| 2010 | Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2010 | On the Complexity of Modal Axiomatisations over Many-dimensional Structures. | Agi Kurucz |
| 2010 | On Modal Logics of Linear Inequalities. | Clemens Kupke, Dirk Pattinson |
| 2010 | Semantic Characterization of Kracht Formulas. | Stanislav Kikot |
| 2010 | Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation. | Ryo Kashima |
| 2010 | Moorean Phenomena in Epistemic Logic. | Wesley H. Holliday, Thomas F. Icard III |
| 2010 | Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2010 | Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. | Amlie Gheerbrant |
| 2010 | On the Size of Shortest Modal Descriptions. | Santiago Figueira, Daniel Gorn |
| 2010 | Absolute Completeness of S4 | David Fernndez-Duque |
| 2010 | Future Event Logic - Axioms and Complexity. | Hans van Ditmarsch, Tim French, Sophie Pinchinat |
| 2010 | Nominal Substitution at Work with the Global and Converse Modalities. | Serenella Cerrito, Marta Cialdea Mayer |
| 2010 | A Syntactic Realization Theorem for Justification Logics. | Kai Brnnler, Remo Goetschi, Roman Kuznets |