default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2002: Toulouse, France
- Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002. King's College Publications 2003, ISBN 0-9543006-2-9 - Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Editorial Preface. Advances in Modal Logic 2002 - Kai Engelhardt, Ron van der Meyden, Kaile Su:
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic 2002: 9-30 - Torben Braüner:
Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic 2002: 31-50 - Jan M. Broersen:
Relativized Action Complement for Dynamic Logics. Advances in Modal Logic 2002: 51-70 - Alexander V. Chagrov, Mikhail N. Rybakov:
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. Advances in Modal Logic 2002: 71-82 - Rogerio Fajardo, Marcelo Finger:
Non-normal Modalisation. Advances in Modal Logic 2002: 83-96 - Melvin Fitting:
Bisimulations and Boolean Vectors. Advances in Modal Logic 2002: 97-126 - Tim French, Mark Reynolds:
A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148 - Robert Goldblatt:
Equational Logic of Polynomial Coalgebras. Advances in Modal Logic 2002: 149-184 - Bernhard Heinemann:
Towards Uniform Reasoning via Structured Subset Spaces. Advances in Modal Logic 2002: 185-204 - Gabriel G. Infante López, Carlos Areces, Maarten de Rijke:
Controlled Model Exploration. Advances in Modal Logic 2002: 205-220 - Ágnes Kurucz, Michael Zakharyaschev:
A Note on Relativised Products of Modal Logics. Advances in Modal Logic 2002: 221-242 - Marcus Kracht:
Notes on the Space Requirements for Checking Satisfiability in Modal Logics. Advances in Modal Logic 2002: 243-264 - Carsten Lutz:
Description Logics with Concrete Domains-A Survey. Advances in Modal Logic 2002: 265-296 - Larisa Maksimova:
Restricted Interpolation in Modal Logics. Advances in Modal Logic 2002: 297-312 - Yutaka Miyazaki:
Binary Logics, Orthologics, and their Relations to Normal Modal Logics. Advances in Modal Logic 2002: 313-334 - Hiroakira Ono:
Completions of Algebras and Completeness of Modal and Substructural Logics. Advances in Modal Logic 2002: 335-370 - Renate A. Schmidt, Dmitry Tishkovsky:
Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic 2002: 371-392 - Philippe Schnoebelen:
The Complexity of Temporal Logic Model Checking. Advances in Modal Logic 2002: 393-436 - Ilya Shapirovsky, Valentin B. Shehtman:
Chronological Future Modality in Minkowski Spacetime. Advances in Modal Logic 2002: 437-460 - Dmitrij P. Skvortsov:
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. Advances in Modal Logic 2002: 461-474 - Tero Tulenheimo:
On IF Modal Logic and its Expressive Power. Advances in Modal Logic 2002: 475-498 - Dimiter Vakarelov:
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. Advances in Modal Logic 2002: 499-518
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
