Volume 231, March 2009

Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), Cachan, France, 29-30 November 2007

• 
  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, Robert S. R. 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