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
Page last modified on May 12, 2009, at 02:57 PM