| 2002 | Analytic Sequent Calculi for Abelian and ukasiewicz Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2002 | Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. | Marta Cialdea Mayer, Carla Limongelli |
| 2002 | Integration of Equality Reasoning into the Disconnection Calculus. | Reinhold Letz, Gernot Stenz |
| 2002 | Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. | Reinhold Letz |
| 2002 | Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. | Jan Hladik |
| 2002 | LINK: A Proof Environment Based on Proof Nets. | L. Habert, J.-M. Notin, Didier Galmiche |
| 2002 | A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. | Martin Giese |
| 2002 | Tableau Calculi for the Logics of Finite k-Ary Trees. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2002 | Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. | Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran |
| 2002 | A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. | Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2002 | Tableau-Based Automated Deduction for Duration Calculus. | Nathalie Chetcuti-Sperandio |
| 2002 | Question Answering: From Partitions to Prolog. | Balder ten Cate, Chung-chieh Shan |
| 2002 | Tableaux for Quantified Hybrid Logic. | Patrick Blackburn, Maarten Marx |
| 2002 | A Schtte-Tait Style Cut-Elimination Proof for First-Order Gdel Logic. | Matthias Baaz, Agata Ciabattoni |
| 2002 | Proof Analysis by Resolution. | Matthias Baaz |
| 2000 | The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q. | Dan E. Willard |
| 2000 | Evaluating | Armando Tacchella |
| 2000 | E-SETHEO: An Automated | Gernot Stenz, Andreas Wolf |
| 2000 | A Tableau-Like Representation Framework for Efficient Proof Reconstruction. | Stephan Schmitt |
| 2000 | Tableau Calculus for Only Knowing and Knowing at Most. | Riccardo Rosati |
| 2000 | Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. | Carla Piazza, Alberto Policriti |
| 2000 | A Tableau Calculus for Equilibrium Entailment. | David Pearce, Inman P. de Guzmn, Agustn Valverde |
| 2000 | TANCS-2000 Results for DLP. | Peter F. Patel-Schneider |
| 2000 | Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. | Linh Anh Nguyen |
| 2000 | Variants of First-Order Modal Logics. | Marta Cialdea Mayer, Serenella Cerrito |