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
Last update Sat May 26 06:15:26 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
