Research Papers
- Regis Alenda, Nicola Olivetti and Camilla Schwind. Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
- Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier. A Schemata Calculus For Propositional Logic
- Carlos Areces, Diego Figueira, Daniel Gorín and Sergio Mera. Tableaux and Model Checking for Memory Logics
- Arnon Avron and Ori Lahav. Canonical Constructive Systems
- Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter. A Novel Architecture for Situation Awareness Systems
- David Baelde. On the proof-theory of regular fixed points
- Bianca Boretti and Sara Negri. Decidability for Priorean Linear Time using a Fixed-Point Labelled Calculus
- Davide Bresolin, Angelo Montanari, Pietro Sala and Guido Sciavicco. A Tableau-Based System for Spatial Reasoning about Directional Relations
- Chad E. Brown and Gert Smolka. Terminating Tableaux for the Basic Fragment of Simple Type Theory
- Kai Brünnler and Lutz Strassburger. Modular Sequent Systems for Modal Logic
- Silvio Ghilardi and Silvio Ranise. Goal-directed Invariant Synthesis for Model Checking Modulo Theories
- Rajeev Goré, Linda Postniece and Alwen Tiu. Taming Displayed Tense Logics Using Nested Sequents With Deep Inference
- Rajeev Goré and Florian Widmann. Sound Global State Caching for ALC with Inverse Roles
- Natthapong Jungteerapanich. A Tableau System for the Modal Mu-Calculus
- Mark Kaminski, Sigurd Schneider and Gert Smolka. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- Andrew Matusiwicz, Neil Murray and Erik Rosenthal. Prime Implicate Tries
- George Metcalfe and Nicola Olivetti. Proof Systems for a Godel Modal Logic
- Dirk Pattinson and Lutz Schröder. Generic Modal Cut Elimination Applied to Conditional Logics
- Luís Pinto and Tarmo Uustalu. Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
- Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi
- Christoph Wernhard. Tableaux for Projection Computation and Knowledge Compilation
System Descriptions
- Marta Cialdea. Abduction and consequence generation in a support system for the design of logical multiple-choice questions
Position Papers
- Olivier Gasquet, Bilal Said and François Schwarzentruber. A semantics for an event based generic tableau prover
- Savas Konur. A Temporal Logic for Real-Time System Specification and Its Tableau-based Decision Procedure
- Thomas Raths and Jens Otten. Building a Problem Library for Quantified Modal Logics
- Peter H. Schmitt, Mattias Ulbrich and Michael Walter. A First-Order Logic with First-Class Types
|