| 2003 | A Free Variable Sequent Calculus with Uniform Variable Splitting. Arild Waaler, Roger Antonsen |
| 2003 | A General Tableau Method for Propositional Interval Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2003 | A Labelled Sequent-Calculus for Observation Logic. Olivier Brunet |
| 2003 | A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. Nicolas Peltier |
| 2003 | A Tableau Algorithm for Reasoning about Concepts and Similarity. Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2003 | Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings Marta Cialdea Mayer, Fiora Pirri |
| 2003 | Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. Johann Schumann |
| 2003 | Automatic Abstraction of Equations in a Logic of Equality. Miroslav N. Velev |
| 2003 | Bounded Lukasiewicz Logics. Agata Ciabattoni, George Metcalfe |
| 2003 | CondLean: A Theorem Prover for Conditional Logics. Nicola Olivetti, Gian Luca Pozzato |
| 2003 | Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. Frank M. Brown |
| 2003 | Dynamical Method in Algebra: A Survey. Thierry Coquand |
| 2003 | Fair Constraint Merging Tableaux in Lazy Functional Programming Style. Reiner Hähnle, Niklas Sörensson |
| 2003 | Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. Frank M. Brown |
| 2003 | Non Commutative Logic: A Survey. V. Michele Abrusci |
| 2003 | Parallel Dialogue Games and Hypersequents for Intermediate Logics. Christian G. Fermüller |
| 2003 | SOLAR: A Consequence Finding System for Advanced Reasoning. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2003 | Simplification Rules for Constrained Formula Tableaux. Martin Giese |
| 2003 | Tableau Calculi for Preference-Based Conditional Logics. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
| 2003 | Tableaux with Four Signs as a Unified Framework. Arnon Avron |
| 2003 | Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. Neil V. Murray, Erik Rosenthal |
| 2003 | The Tableaux Work Bench. Pietro Abate, Rajeev Goré |
| 2003 | Universal Variables in Disconnection Tableaux. Reinhold Letz, Gernot Stenz |
| 2003 | XPath and Modal Logics of Finite DAG's. Maarten Marx |