Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing (Eds.):
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998.
CSLI Publications 2000, ISBN 1-57586-271-9 
- Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing:
The Origins of Modern Modal Logic.
- Alexandru Baltag:
STS: A Structural Theory of Sets.
1-34
- Carlos Areces, Eva Hoogland, Dick de Jongh:
Interpolation, Definability and Fixed Points in Interpretability Logics.
35-58
- Sergei N. Artëmov:
Operations on Proofs that can be Specified by Means of Modal Logic.
59-72
- Johan van Bentheim:
Modal Logic in Two Gestalts.
73-100
- Guram Bezhanishvili, Revaz Grigolia:
Locally Tabular Extensions of MIPC.
101-120
- Mark A. Brown:
Conditional and Unconditional Obligation for Agents in Time.
121-154
- M. J. Cresswell:
How to Complete Some Modal Predicate Logics.
155-178
- Dov M. Gabbay:
Dznamics of Practical Reasoning: A Position Paper.
179-224
- Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt:
A Resolution-Based Decision Procedure for Extensions of K4.
225-246
- Valentin Goranko, Dimiter Vakarelov:
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.
247-274
- Paula Gouveia, Cristina Sernadas:
Abductive Reasoning over Temporal Specifications of Objects.
275-300
- Rosalie Iemhoff:
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.
301-336
- Marcus Kracht:
Logic and Syntax-A Personal Perspective.
337-366
- Alexander Kurz:
A Co-Variety-Theorem for Modal Logic.
367-380
- Rohit Parikh:
Propositions, Propositional Attitudes and Belief Revision.
381-400
- Yoshihito Tanaka, Hiroakira Ono:
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.
401-420
- Yde Venema:
Canonical Pseudo-Correspondence.
421-430
- Frank Wolter, Michael Zakharyaschev:
Dynamic Description Logics.
431-446
Last update Sat May 25 01:56:04 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
