| 2010 | Logical Form as a Determinant of Cognitive Processes. | Michiel van Lambalgen |
| 2010 | Solving the Implication Problem for XML Functional Dependencies with Properties. | Sven Hartmann, Sebastian Link, Thu Trinh |
| 2010 | Decidability and Undecidability Results on the Modal | Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
| 2010 | Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. | Marcelo Finger, Mauricio S. C. Hernandes |
| 2010 | On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. | Flavio Ferrarotti, Sven Hartmann, Sebastian Link |
| 2010 | Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. | Aditi Barthwal, Michael Norrish |
| 2010 | Verification of the Completeness of Unification Algorithms la Robinson. | Andria B. Avelar, Flvio L. C. de Moura, Andr Luiz Galdino, Mauricio Ayala-Rincn |
| 2010 | Modal Logics with Counting. | Carlos Areces, Guillaume Hoffmann, Alexandre Denis |
| 2010 | Formal Lifetime Reliability Analysis Using Continuous Random Variables. | Naeem Abbasi, Osman Hasan, Sofine Tahar |
| 2009 | Knowledge, Time, and Logical Omniscience. | Ren-June Wang |
| 2009 | The Arrow Calculus as a Quantum Programming Language. | Juliana Kaizer Vizzotto, Andr Rauber Du Bois, Amr Sabry |
| 2009 | Logic-Based Probabilistic Modeling. | Taisuke Sato |
| 2009 | Recognizability in the Simply Typed Lambda-Calculus. | Sylvain Salvati |
| 2009 | Ehrenfeucht-Frass Games on Random Structures. | Benjamin Rossman |
| 2009 | : An Action-Based Logic for Reasoning about Contracts. | Cristian Prisacariu, Gerardo Schneider |
| 2009 | Deep Inference in Bi-intuitionistic Logic. | Linda Postniece |
| 2009 | Expressing Extension-Based Semantics Based on Stratified Minimal Models. | Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda |
| 2009 | An Independence Relation for Sets of Secrets. | Sara Miner More, Pavel Naumov |
| 2009 | A Duality for Algebras of Lattice-Valued Modal Logic. | Yoshihiro Maruyama |
| 2009 | Mathematical Logic for Life Science Ontologies. | Carsten Lutz, Frank Wolter |
| 2009 | Spoilt for Choice: Full First-Order Hierarchical Decompositions. | Sebastian Link |
| 2009 | Ludics and Its Applications to Natural Language Semantics. | Alain Lecomte, Myriam Quatrini |
| 2009 | Team Logic and Second-Order Logic. | Juha Kontinen, Ville Nurmi |
| 2009 | Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. | Katsuhiko Sano |
| 2009 | Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. | Hugo Herbelin, Gyesik Lee |