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 BibTeX
- Rostislav E. Yavorsky:
On Arithmetical Completeness of First-Order Logics of Provability.
1-16 BibTeX
- Carlos Areces, Maarten de Rijke:
From Description to Hybrid Logics, and Back.
17-36 BibTeX
- Nuel D. Belnap Jr.:
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting.
37-58 BibTeX
- Torben Braüner:
Homophonic Theory of Truth for Tense Logic.
59-72 BibTeX
- Fabrice Correia:
Weak Necessity on Weak Kleene Matrices.
73-90 BibTeX
- Jennifer M. Davoren, Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics.
91-111 BibTeX
- Stéphane Demri:
Modal Logics with Weak Forms of Recursion: PSPACE Specimens.
113-138 BibTeX
- Tim Fernando:
Towards a Many-Dimensional Modal Logic for Semantic Processing.
139-151 BibTeX
- Marcelo Finger:
Algorithmic Correspondence Theory for Substructural Categorial Logic.
153-172 BibTeX
- Norman Y. Foo, Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.
173-191 BibTeX
- Silvio Ghilardi, Marek W. Zawadowski:
From Bisimulation Quantifiers to Classifying Toposes.
193-220 BibTeX
- Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.
221-240 BibTeX
- Yasusi Hasimoto:
Normal Products of Modal Logics.
241-255 BibTeX
- Colin Hirsch, Stephan Tobies:
A Tableau Algorithm for the Clique Guarded Fragment.
257-277 BibTeX
- Mamoru Kaneko, Nobu-Yuki Suzuki:
Epistemic Logic of Shallow Depths and Game Theoretical Applications.
279-298 BibTeX
- Marcus Kracht, Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames.
299-320 BibTeX
- Ágnes Kurucz:
S5 x S5 x S5 Lacks the Finite Model Property.
321-327 BibTeX
- Carsten Lutz, Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics.
329-348 BibTeX
- Larisa Maksimova:
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4.
349-363 BibTeX
- Krister Segerberg:
Outline of a Logic of Action.
365-387 BibTeX
- Ruili Ye, Melvin Fitting:
Belief, Names, and Modes of Presentation.
389-408 BibTeX
Copyright © Sat May 16 22:57:16 2009
by Michael Ley (ley@uni-trier.de)
