Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev (Eds.):
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002.
King's College Publications 2003, ISBN 0-9543006-2-9 BibTeX
- Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Editorial Preface.
BibTeX
- Kai Engelhardt, Ron van der Meyden, Kaile Su:
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.
9-30 BibTeX
- Torben Braüner:
Functional Completenes for a Natural Deduction Formulation of Hybridized S5.
31-50 BibTeX
- Jan Broersen:
Relativized Action Complement for Dynamic Logics.
51-70 BibTeX
- Alexander V. Chagrov, Mikhail N. Rybakov:
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.
71-82 BibTeX
- Rogerio Fajardo, Marcelo Finger:
Non-normal Modalisation.
83-96 BibTeX
- Melvin Fitting:
Bisimulations and Boolean Vectors.
97-126 BibTeX
- Tim French, Mark Reynolds:
A Sound and Complete Proof System for QPTL.
127-148 BibTeX
- Robert Goldblatt:
Equational Logic of Polynomial Coalgebras.
149-184 BibTeX
- Bernhard Heinemann:
Towards Uniform Reasoning via Structured Subset Spaces.
185-204 BibTeX
- Gabriel G. Infante López, Carlos Areces, Maarten de Rijke:
Controlled Model Exploration.
205-220 BibTeX
- Ágnes Kurucz, Michael Zakharyaschev:
A Note on Relativised Products of Modal Logics.
221-242 BibTeX
- Marcus Kracht:
Notes on the Space Requirements for Checking Satisfiability in Modal Logics.
243-264 BibTeX
- Carsten Lutz:
Description Logics with Concrete Domains-A Survey.
265-296 BibTeX
- Larisa Maksimova:
Restricted Interpolation in Modal Logics.
297-312 BibTeX
- Yutaka Miyazaki:
Binary Logics, Orthologics, and their Relations to Normal Modal Logics.
313-334 BibTeX
- Hiroakira Ono:
Completions of Algebras and Completeness of Modal and Substructural Logics.
335-370 BibTeX
- Renate A. Schmidt, Dmitry Tishkovsky:
Combining Dynamic Logic with Doxastic Modal Logics.
371-392 BibTeX
- Ph. Schnoebelen:
The Complexity of Temporal Logic Model Checking.
393-436 BibTeX
- Ilya Shapirovsky, Valentin B. Shehtman:
Chronological Future Modality in Minkowski Spacetime.
437-460 BibTeX
- Dmitrij P. Skvortsov:
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.
461-474 BibTeX
- Tero Tulenheimo:
On IF Modal Logic and its Expressive Power.
475-498 BibTeX
- Dimiter Vakarelov:
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.
499-518 BibTeX
Copyright © Sat May 16 22:57:16 2009
by Michael Ley (ley@uni-trier.de)