Electronic Notes in Theoretical Computer Science, Volume 231

Volume 231, March 2009

• Carlos Areces, Stéphane Demri:
  Preface. 1-2
  
• Guillaume Hoffmann, Carlos Areces:
  HTab: a Terminating Tableaux System for Hybrid Logic. 3-19
  
• Thomas Bolander, Patrick Blackburn:
  Terminating Tableau Calculi for Hybrid Logics Extending K. 21-39
  
• Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder:
  CoLoSS: The Coalgebraic Logic Satisfiability Solver. 41-54
  
• Pietro Abate, Rajeev Goré:
  The Tableau Workbench. 55-67
  
• Philippe Balbiani, Jan Broersen, Julien Brunel:
  Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. 69-89
  
• Jason Reed, Frank Pfenning:
  Intuitionistic Letcc via Labelled Deduction. 91-111
  
• Inanç Seylan, Riza Cenk Erdur:
  A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains. 113-130
  
• Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
  Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. 131-151
  
• Tero Tulenheimo, Manuel Rebuschi:
  Equivalence Criteria for Compositional IF Modal Logics. 153-173
  
• Willem Conradie:
  Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. 175-190
  
• Pietro Abate, Rajeev Goré, Florian Widmann:
  An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. 191-209
  
• Simon Richards, Mehrnoosh Sadrzadeh:
  Aximo: Automated Axiomatic Reasoning for Information Update. 211-225
  
• Kai Brünnler, Thomas Studer:
  Syntactic Cut-elimination for Common Knowledge. 227-240
  
• Mark Kaminski, Gert Smolka:
  Hybrid Tableaux for the Difference Modality. 241-257
  
• Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge:
  Completeness and Complexity of Multi-modal CTL. 259-275
  
• Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer:
  The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments. 277-292
  
• Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
  Global and Local Graph Modifiers. 293-307
  
• Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn:
  Experiments in Theorem Proving for Topological Hybrid Logic. 309-321
  
• Patricia Bouyer:
  Model-checking Timed Temporal Logics. 323-341
  
• Laura Bozzelli:
  CaRet With Forgettable Past. 343-361