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