Advances in Modal Logic B

22 papers

YearTitle / Authors
1998Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996.
Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev
1996An Overview of Interpretability Logic.
Albert Visser
1996Atom Structures.
Yde Venema
1996Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom.
Aida Pliuskeviciene
1996Duality in Superintuitionistic and Modal Predicate Logics.
Hiroyuki Shirasu
1996Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property.
Carsten Grefe
1996Fusions of Modal Logics Revisited.
Frank Wolter
1996Hyper Arrow Structures. Arrow Logics~III.
Dimiter Vakarelov
1996Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.
Larisa Maksimova
1996Minimal Knowledge States in Nonmonotonic Modal Logics.
Riccardo Rosati
1996Mosaics and Cylindric Modal Logic of Dimension~2.
Maarten Marx
1996On Isomorphisms between Canonical Frames.
Timothy J. Surendonk
1996On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I).
Valentin B. Shehtman
1996On the Degree of Neighborhood Incompleteness of Normal Modal Logics.
Lilia Chagrova
1996On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.
Oliver Lemon, Ian Pratt
1996On the Relationship between Models of Parallel Computations.
Vladimir V. Spanopulo, Vladimir A. Zakharov
1996Resolution is a Decision Procedure for Many Propositional Modal Logics.
Renate A. Schmidt
1996Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.
Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo
1996Terminological Modal Logic.
Philippe Balbiani
1996Topological Nexttime Logic.
Bernhard Heinemann
1996Uniform Interpolation, Automata and the Modal μ-Calculus.
Giovanna D'Agostino, Marco Hollenberg
1996What Are Hybrid Languages?
Patrick Blackburn, Jerry Seligman