18. TABLEAUX 2009: Oslo, Norway

• Peter Jeavons:
  Presenting Constraints. 1-15
  
• Pierre Wolper:
  On the Use of Automata for Deciding Linear Arithmetic. 16
  
• Régis Alenda, Nicola Olivetti, Camilla Schwind:
  Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. 17-31
  
• Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
  A Schemata Calculus for Propositional Logic. 32-46
  
• Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera:
  Tableaux and Model Checking for Memory Logics. 47-61
  
• Arnon Avron, Ori Lahav:
  Canonical Constructive Systems. 62-76
  
• Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter:
  A Novel Architecture for Situation Awareness Systems. 77-92
  
• David Baelde:
  On the Proof Theory of Regular Fixed Points. 93-107
  
• Bianca Boretti, Sara Negri:
  Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. 108-122
  
• Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
  A Tableau-Based System for Spatial Reasoning about Directional Relations. 123-137
  
• Chad E. Brown, Gert Smolka:
  Terminating Tableaux for the Basic Fragment of Simple Type Theory. 138-151
  
• Kai Brünnler, Lutz Straßburger:
  Modular Sequent Systems for Modal Logic. 152-166
  
• Marta Cialdea Mayer:
  Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. 167-172
  
• Silvio Ghilardi, Silvio Ranise:
  Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. 173-188
  
• Rajeev Goré, Linda Postniece, Alwen Tiu:
  Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. 189-204
  
• Rajeev Goré, Florian Widmann:
  Sound Global State Caching for ALC with Inverse Roles. 205-219
  
• Natthapong Jungteerapanich:
  A Tableau System for the Modal µ-Calculus. 220-234
  
• Mark Kaminski, Sigurd Schneider, Gert Smolka:
  Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. 235-249
  
• Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
  Prime Implicate Tries. 250-264
  
• George Metcalfe, Nicola Olivetti:
  Proof Systems for a Gödel Modal Logic. 265-279
  
• Dirk Pattinson, Lutz Schröder:
  Generic Modal Cut Elimination Applied to Conditional Logics. 280-294
  
• Luis Pinto, Tarmo Uustalu:
  Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. 295-309
  
• Renate A. Schmidt, Dmitry Tishkovsky:
  Automated Synthesis of Tableau Calculi. 310-324
  
• Christoph Wernhard:
  Tableaux for Projection Computation and Knowledge Compilation. 325-340