Abstract is missing.
- Nonmonotonic Description Logics - Requirements, Theory, and ImplementationsPiero A. Bonatti. 1 [doi]
- Our Quest for the Holy Grail of Agent VerificationJohn-Jules Ch. Meyer. 2-9 [doi]
- An Abstract Framework for Satisfiability Modulo TheoriesCesare Tinelli. 10 [doi]
- Axiom Pinpointing in General TableauxFranz Baader, Rafael Peñaloza. 11-27 [doi]
- Proof Theory for First Order Lukasiewicz LogicMatthias Baaz, George Metcalfe. 28-42 [doi]
- A Tableau Method for Public Announcement LogicsPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. 43-59 [doi]
- Bounded Model Checking with Description Logic ReasoningShoham Ben-David, Richard J. Trefler, Grant E. Weddell. 60-72 [doi]
- Tableau Systems for Logics of Subinterval Structures over Dense OrderingsDavide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. 73-89 [doi]
- A Cut-Free Sequent Calculus for Bi-intuitionistic LogicLinda Buisman, Rajeev Goré. 90-106 [doi]
- Tableaux with Dynamic Filtration for Layered Modal LogicsOlivier Gasquet, Bilal Said. 107-118 [doi]
- The Neighbourhood of S0.9 and S1Roderic A. Girle. 119-132 [doi]
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role HierarchiesRajeev Goré, Linh Anh Nguyen. 133-148 [doi]
- Tree-Sequent Methods for Subintuitionistic Predicate LogicsRyo Ishigaki, Kentaro Kikuchi. 149-164 [doi]
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted RepresentationEkaterina Komendantskaya. 165-182 [doi]
- Updating Reduced Implicate TriesNeil V. Murray, Erik Rosenthal. 183-198 [doi]
- A Bottom-Up Approach to Clausal TableauxNicolas Peltier. 199-215 [doi]
- Differential Dynamic Logic for Verifying Parametric Hybrid SystemsAndré Platzer. 216-232 [doi]
- Improvements to the Tableau Prover PITPAlessandro Avellone, Guido Fiorino, Ugo Moscato. 233-237 [doi]
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic ReasoningLaura Giordano, Valentina Gliozzi, Gian Luca Pozzato. 238-244 [doi]