|
You are here:
AiML.NET : Volumes : Volume 1
Advances in
Modal Logic, Volume 1
Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael
Zakharyaschev, editors.
Lecture Notes 87. Stanford, CA: CSLI Publications,
xvi + 392 pages, 1998.
Subject Index, Author Index.
1-57586-103-8 (hardback), 1-57586-102-X (paperback) |
 |
Description
This is a selection of papers presented at Advances in Modal Logic
'96, the first international workshop of its kind, focusing exclusively
on the theory and applications of modal logic.
Table of
Contents
Contributors, vii
Advances in Modal Logic, xiii
Preface, xv
Shakespearian Modal Logic: A Labelled Treatment of Modal
Identity, Alberto Artosi, Paola Benassi, Guido Governatori, and
Antonino Rotolo, 1-21
Terminological Modal Logic, Philippe Balbiani, 23-39
What Are Hybrid Languages?, Patrick Blackburn and Jerry
Seligman, 41-62
On the Degree of Neighborhood Incompleteness of Normal Modal
Logics, Lilia Chagrova, 63-72
Uniform Interpolation, Automata and the Modal mu-Calculus,
Giovanna D'Agostino and Marco Hollenberg, 73-84
Fischer Servi's Intuitionistic Modal Logic has the Finite Model
Property, Carsten Grefe, 85-98
Topological Nexttime Logic, Bernhard Heinemann, 99-112
On the Incompleteness of Modal Logics of Space: Advancing
Complete
Modal Logics of Place, Oliver Lemon and Ian Pratt, 115-132
Interpolation in Superintuitionistic and Modal Predicate Logics
with
Equality, Larisa Maksimova, 133-140
Mosaics and Cylindric Modal Logic of Dimension 2, Maarten
Marx,
141-156
Cut-Free Indexed Calculi for Modal Logics Containing the Barcan
Axiom, Aida Pliuskeviciene, 157-172
Minimal Knowledge States in Nonmonotonic Modal Logics,
Riccardo
Rosati, 173-187
Resolution is a Decision Procedure for Many Propositional Modal
Logics, Renate A. Schmidt, 189-208
On Strong Neighbourhood Completeness of Modal and Intermediate
Propositional Logics (Part I), Valentin Shehtman, 209-222
Duality in Superintuitionistic and Modal Predicate Logics,
Hiroyuki Shirasu, 223-236
On the Relationship between Models of Parallel Computations,
Vladimir V. Spanopulo and Vladimir A. Zakharov, 237-248
On Isomorphisms between Canonical Frames, Timothy J.
Surendonk,
249-268
Hyper Arrow Structures. Arrow Logics III, Dimiter Vakarelov,
269-290
Atom Structures, Yde Venema, 291-305
An Overview of Interpretability Logic, Albert Visser,
307-359
Fusions of Modal Logics Revisited, Frank Wolter, 361-379
Name Index, 381
Subject Index, 387
|
|
