|
You are here:
AiML.NET :
Volumes : Volume 2
Advances in
Modal Logic, Volume 2
Michael
Zakharyaschev, Krister Segerberg, Maarten de Rijke, and
Heinrich Wansing, editors.
Lecture Notes. Stanford, CA: CSLI Publications,
xxx + 478 pages, 2000.
Subject Index, Author Index.
| [IMAGE OF FRONT COVER NOT YET AVAILABLE]
|
Description
This is a selection of papers presented at Advances in Modal Logic
'98, the second international workshop of its kind, focusing exclusively
on the theory and applications of modal logic.
Table of
Contents
Contributors, vii-x
Preface, xi-xii
The Origins of Modern Modal Logic,
Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich
Wansing, xiii - xxx
STS: A Structural Theory of Sets,
Alexandru Baltag, 1 - 34
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics,
Natasha Alechina, Valeria de Paiva, and Eike Ritter, 35 - 52
Interpolation, Definability and Fixed Points in Interpretability Logics,
Carlos Areces, Eva Hoogland, and Dick de Jongh, 53 - 76
Operations on Proofs that can be Specified by Means of Modal Logic,
Sergei N. Artemov, 77 - 90
Modal Logic in Two Gestalts,
Johan van Benthem, 91 - 118
Locally Tabular Extensions of MIPC,
Guram Bezhanishvili and Revaz Grigolia, 119 - 138
Conditional and Unconditional Obligation For Agents In Time,
Mark A. Brown, 139 - 171
How to Complete Some Modal Predicate Logics,
Max J. Cresswell, 173 - 196
Dynamics of Practical Reasoning: A Position Paper,
Dov M. Gabbay, 197 - 242
A Resolution-Based Decision Procedure for Extensions of K4,
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Renate A. Schmidt, 243 - 263
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures,
Valentin Goranko and Dimiter Vakarelov, 265 - 292
Abductive Reasoning over Temporal Specifications of Objects,
Paula Gouveia and Cristina Sernadas, 293 - 318
A Modal Analysis of Some Principles of the Provability Logic of Heyting
Arithmetic,
Rosalie Iemhoff, 319 - 354
Logic and Syntax --- A Personal Perspective,
Marcus Kracht, 355 - 384
A Co-Variety-Theorem for Modal Logic,
Alexander Kurz, 385 - 398
Propositions, Propositional Attitudes and Belief Revision,
Rohit Parikh, 399 - 418
Rasiowa-Sikorski Lemma and Kripke Completeness of Predicate and
Infinitary Modal Logics,
Yoshihito Tanaka and Hiroakira Ono, 419 - 437
Canonical Pseudo-Correspondence,
Yde Venema, 439 - 448
Dynamic Description Logics,
Frank Wolter and Michael Zakharyaschev, 449 - 463
Subject Index 465 - 473
Author Index 475 - 478
|
|
