| 2010 | A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz |
| 2010 | A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. Dmitrij P. Skvortsov |
| 2010 | A Simple Semantics for Aristotelian Apodeictic Syllogistics. Sara L. Uckelman, Spencer Johnston |
| 2010 | A Syntactic Realization Theorem for Justification Logics. Kai Brünnler, Remo Goetschi, Roman Kuznets |
| 2010 | Absolute Completeness of S4 David Fernández-Duque |
| 2010 | Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010 Lev D. Beklemishev, Valentin Goranko, Valentin B. Shehtman |
| 2010 | Bi-approximation Semantics for Substructural Logic at Work. Tomoyuki Suzuki |
| 2010 | Coalgebraic Lindströom Theorems. Alexander Kurz, Yde Venema |
| 2010 | Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. Amélie Gheerbrant |
| 2010 | Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation. Ryo Kashima |
| 2010 | Complexity of the Lambek Calculus and Its Fragments. Mati Pentus |
| 2010 | Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Rajeev Goré, Linda Postniece, Alwen Tiu |
| 2010 | Future Event Logic - Axioms and Complexity. Hans van Ditmarsch, Tim French, Sophie Pinchinat |
| 2010 | Goldblatt-Thomason-style Theorems for Graded Modal Language. Katsuhiko Sano, Minghui Ma |
| 2010 | Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2010 | Logics of Space with Connectedness Predicates: Complete Axiomatizations. Tinko Tinchev, Dimiter Vakarelov |
| 2010 | Moorean Phenomena in Epistemic Logic. Wesley H. Holliday, Thomas F. Icard III |
| 2010 | Nominal Substitution at Work with the Global and Converse Modalities. Serenella Cerrito, Marta Cialdea Mayer |
| 2010 | On Modal Logics of Linear Inequalities. Clemens Kupke, Dirk Pattinson |
| 2010 | On the Complexity of Modal Axiomatisations over Many-dimensional Structures. Agi Kurucz |
| 2010 | On the Size of Shortest Modal Descriptions. Santiago Figueira, Daniel Gorín |
| 2010 | Partially-ordered Modalities. Gerard Allwein, William L. Harrison |
| 2010 | Proofs, Disproofs, and Their Duals. Heinrich Wansing |
| 2010 | Relevant Agents. Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall |
| 2010 | Semantic Characterization of Kracht Formulas. Stanislav Kikot |
| 2010 | Simulation of Two Dimensions in Unimodal Logics. Ilya Shapirovsky |
| 2010 | Uniform Interpolation for Monotone Modal Logic. Luigi Santocanale, Yde Venema |