| 2009 | : An Action-Based Logic for Reasoning about Contracts. Cristian Prisacariu, Gerardo Schneider |
| 2009 | A Characterisation of Definable NP Search Problems in Peano Arithmetic. Arnold Beckmann |
| 2009 | A Duality for Algebras of Lattice-Valued Modal Logic. Yoshihiro Maruyama |
| 2009 | Abductive Logic Grammars. Henning Christiansen, Verónica Dahl |
| 2009 | Algebraic Valuations as Behavioral Logical Matrices. Carlos Caleiro, Ricardo Gonçalves |
| 2009 | An Independence Relation for Sets of Secrets. Sara Miner More, Pavel Naumov |
| 2009 | Classic-Like Analytic Tableaux for Finite-Valued Logics. Carlos Caleiro, João Marcos |
| 2009 | Completions of Basic Algebras. Majid Alizadeh |
| 2009 | Deep Inference in Bi-intuitionistic Logic. Linda Postniece |
| 2009 | Ehrenfeucht-Fraïssé Games on Random Structures. Benjamin Rossman |
| 2009 | Expressing Extension-Based Semantics Based on Stratified Minimal Models. Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
| 2009 | First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Francesco Belardinelli, Alessio Lomuscio |
| 2009 | Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. Hugo Herbelin, Gyesik Lee |
| 2009 | Knowledge, Time, and Logical Omniscience. Ren-June Wang |
| 2009 | Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. Alexandru Baltag, Sonja Smets |
| 2009 | Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz |
| 2009 | Logic-Based Probabilistic Modeling. Taisuke Sato |
| 2009 | Ludics and Its Applications to Natural Language Semantics. Alain Lecomte, Myriam Quatrini |
| 2009 | Mathematical Logic for Life Science Ontologies. Carsten Lutz, Frank Wolter |
| 2009 | Observational Completeness on Abstract Interpretation. Gianluca Amato, Francesca Scozzari |
| 2009 | Observational Effort and Formally Open Mappings. Bernhard Heinemann |
| 2009 | On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
| 2009 | On-the-Fly Macros. Hubie Chen, Omer Giménez |
| 2009 | Property Driven Three-Valued Model Checking on Hybrid Automata. Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
| 2009 | Query Answering in Description Logics: The Knots Approach. Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | Recognizability in the Simply Typed Lambda-Calculus. Sylvain Salvati |
| 2009 | SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. Matthias Baaz, Agata Ciabattoni, Norbert Preining |
| 2009 | Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. Katsuhiko Sano |
| 2009 | Spoilt for Choice: Full First-Order Hierarchical Decompositions. Sebastian Link |
| 2009 | Team Logic and Second-Order Logic. Juha Kontinen, Ville Nurmi |
| 2009 | The Arrow Calculus as a Quantum Programming Language. Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry |
| 2009 | Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |