Abstract is missing.
- Presenting ConstraintsPeter Jeavons. 1-15 [doi]
- On the Use of Automata for Deciding Linear ArithmeticPierre Wolper. 16 [doi]
- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux CalculusRégis Alenda, Nicola Olivetti, Camilla Schwind. 17-31 [doi]
- A Schemata Calculus for Propositional LogicVincent Aravantinos, Ricardo Caferra, Nicolas Peltier. 32-46 [doi]
- Tableaux and Model Checking for Memory LogicsCarlos Areces, Diego Figueira, Daniel GorÃn, Sergio Mera. 47-61 [doi]
- Canonical Constructive SystemsArnon Avron, Ori Lahav. 62-76 [doi]
- A Novel Architecture for Situation Awareness SystemsFranz Baader, Andreas Bauer 0002, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter. 77-92 [doi]
- On the Proof Theory of Regular Fixed PointsDavid Baelde. 93-107 [doi]
- Decidability for Priorean Linear Time Using a Fixed-Point Labelled CalculusBianca Boretti, Sara Negri. 108-122 [doi]
- A Tableau-Based System for Spatial Reasoning about Directional RelationsDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. 123-137 [doi]
- Terminating Tableaux for the Basic Fragment of Simple Type TheoryChad E. Brown, Gert Smolka. 138-151 [doi]
- Modular Sequent Systems for Modal LogicKai Brünnler, Lutz Straßburger. 152-166 [doi]
- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice QuestionsMarta Cialdea Mayer. 167-172 [doi]
- Goal-Directed Invariant Synthesis for Model Checking Modulo TheoriesSilvio Ghilardi, Silvio Ranise. 173-188 [doi]
- Taming Displayed Tense Logics Using Nested Sequents with Deep InferenceRajeev Goré, Linda Postniece, Alwen Tiu. 189-204 [doi]
- Sound Global State Caching for ::::ALC:::: with Inverse RolesRajeev Goré, Florian Widmann. 205-219 [doi]
- A Tableau System for the Modal ::::µ::::-CalculusNatthapong Jungteerapanich. 220-234 [doi]
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role HierarchiesMark Kaminski, Sigurd Schneider, Gert Smolka. 235-249 [doi]
- Prime Implicate TriesAndrew Matusiewicz, Neil V. Murray, Erik Rosenthal. 250-264 [doi]
- Proof Systems for a Gödel Modal LogicGeorge Metcalfe, Nicola Olivetti. 265-279 [doi]
- Generic Modal Cut Elimination Applied to Conditional LogicsDirk Pattinson, Lutz Schröder. 280-294 [doi]
- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled SequentsLuis Pinto, Tarmo Uustalu. 295-309 [doi]
- Automated Synthesis of Tableau CalculiRenate A. Schmidt, Dmitry Tishkovsky. 310-324 [doi]
- Tableaux for Projection Computation and Knowledge CompilationChristoph Wernhard. 325-340 [doi]