| 2007 | A Bottom-Up Approach to Clausal Tableaux. Nicolas Peltier |
| 2007 | A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. Linda Buisman, Rajeev Goré |
| 2007 | A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. Ekaterina Komendantskaya |
| 2007 | A Tableau Method for Public Announcement Logics. Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | An Abstract Framework for Satisfiability Modulo Theories. Cesare Tinelli |
| 2007 | Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings Nicola Olivetti |
| 2007 | Axiom Pinpointing in General Tableaux. Franz Baader, Rafael Peñaloza |
| 2007 | Bounded Model Checking with Description Logic Reasoning. Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
| 2007 | Differential Dynamic Logic for Verifying Parametric Hybrid Systems. André Platzer |
| 2007 | EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. Rajeev Goré, Linh Anh Nguyen |
| 2007 | Improvements to the Tableau Prover PITP. Alessandro Avellone, Guido Fiorino, Ugo Moscato |
| 2007 | KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2007 | Nonmonotonic Description Logics - Requirements, Theory, and Implementations. Piero A. Bonatti |
| 2007 | Our Quest for the Holy Grail of Agent Verification. John-Jules Ch. Meyer |
| 2007 | Proof Theory for First Order Lukasiewicz Logic. Matthias Baaz, George Metcalfe |
| 2007 | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
| 2007 | Tableaux with Dynamic Filtration for Layered Modal Logics. Olivier Gasquet, Bilal Said |
| 2007 | The Neighbourhood of S0.9 and S1. Roderic A. Girle |
| 2007 | Tree-Sequent Methods for Subintuitionistic Predicate Logics. Ryo Ishigaki, Kentaro Kikuchi |
| 2007 | Updating Reduced Implicate Tries. Neil V. Murray, Erik Rosenthal |