| 2009 | Generic Modal Cut Elimination Applied to Conditional Logics. | Dirk Pattinson, Lutz Schrder |
| 2009 | Proof Systems for a Gdel Modal Logic. | George Metcalfe, Nicola Olivetti |
| 2009 | Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. | Marta Cialdea Mayer |
| 2009 | Prime Implicate Tries. | Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal |
| 2009 | Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. | Mark Kaminski, Sigurd Schneider, Gert Smolka |
| 2009 | A Tableau System for the Modal | Natthapong Jungteerapanich |
| 2009 | Presenting Constraints. | Peter Jeavons |
| 2009 | Sound Global State Caching for | Rajeev Gor, Florian Widmann |
| 2009 | Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2009 | Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. | Silvio Ghilardi, Silvio Ranise |
| 2009 | Modular Sequent Systems for Modal Logic. | Kai Brnnler, Lutz Straburger |
| 2009 | Terminating Tableaux for the Basic Fragment of Simple Type Theory. | Chad E. Brown, Gert Smolka |
| 2009 | A Tableau-Based System for Spatial Reasoning about Directional Relations. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2009 | Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. | Bianca Boretti, Sara Negri |
| 2009 | On the Proof Theory of Regular Fixed Points. | David Baelde |
| 2009 | A Novel Architecture for Situation Awareness Systems. | Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
| 2009 | Canonical Constructive Systems. | Arnon Avron, Ori Lahav |
| 2009 | Tableaux and Model Checking for Memory Logics. | Carlos Areces, Diego Figueira, Daniel Gorn, Sergio Mera |
| 2009 | A Schemata Calculus for Propositional Logic. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2009 | Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. | Rgis Alenda, Nicola Olivetti, Camilla Schwind |
| 2007 | An Abstract Framework for Satisfiability Modulo Theories. | Cesare Tinelli |
| 2007 | Differential Dynamic Logic for Verifying Parametric Hybrid Systems. | Andr Platzer |
| 2007 | A Bottom-Up Approach to Clausal Tableaux. | Nicolas Peltier |
| 2007 | Updating Reduced Implicate Tries. | Neil V. Murray, Erik Rosenthal |
| 2007 | Our Quest for the Holy Grail of Agent Verification. | John-Jules Ch. Meyer |