Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev (Eds.):
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000.
World Scientific 2002, ISBN 981-238-179-1 
- Rostislav E. Yavorsky:
On Arithmetical Completeness of First-Order Logics of Provability.
1-16
- Carlos Areces, Maarten de Rijke:
From Description to Hybrid Logics, and Back.
17-36
- Nuel D. Belnap Jr.:
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting.
37-58
- Torben Braüner:
Homophonic Theory of Truth for Tense Logic.
59-72
- Fabrice Correia:
Weak Necessity on Weak Kleene Matrices.
73-90
- Jennifer M. Davoren, Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics.
91-111
- Stéphane Demri:
Modal Logics with Weak Forms of Recursion: PSPACE Specimens.
113-138
- Tim Fernando:
Towards a Many-Dimensional Modal Logic for Semantic Processing.
139-151
- Marcelo Finger:
Algorithmic Correspondence Theory for Substructural Categorial Logic.
153-172
- Norman Y. Foo, Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.
173-191
- Silvio Ghilardi, Marek W. Zawadowski:
From Bisimulation Quantifiers to Classifying Toposes.
193-220
- Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.
221-240
- Yasusi Hasimoto:
Normal Products of Modal Logics.
241-255
- Colin Hirsch, Stephan Tobies:
A Tableau Algorithm for the Clique Guarded Fragment.
257-277
- Mamoru Kaneko, Nobu-Yuki Suzuki:
Epistemic Logic of Shallow Depths and Game Theoretical Applications.
279-298
- Marcus Kracht, Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames.
299-320
- Ágnes Kurucz:
S5 x S5 x S5 Lacks the Finite Model Property.
321-327
- Carsten Lutz, Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics.
329-348
- Larisa Maksimova:
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4.
349-363
- Krister Segerberg:
Outline of a Logic of Action.
365-387
- Ruili Ye, Melvin Fitting:
Belief, Names, and Modes of Presentation.
389-408
Last update Tue May 22 03:55:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
