default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 1996: Berlin, Germany
- Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev:
Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996. CSLI Publications 1998, ISBN 1-57586-102-X - Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo:
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. Advances in Modal Logic 1996: 1-21 - Philippe Balbiani:
Terminological Modal Logic. Advances in Modal Logic 1996: 23-39 - Patrick Blackburn, Jerry Seligman:
What Are Hybrid Languages? Advances in Modal Logic 1996: 41-62 - Lilia Chagrova:
On the Degree of Neighborhood Incompleteness of Normal Modal Logics. Advances in Modal Logic 1996: 63-72 - Giovanna D'Agostino, Marco Hollenberg:
Uniform Interpolation, Automata and the Modal μ-Calculus. Advances in Modal Logic 1996: 73-84 - Carsten Grefe:
Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property. Advances in Modal Logic 1996: 85-98 - Bernhard Heinemann:
Topological Nexttime Logic. Advances in Modal Logic 1996: 99-112 - Oliver Lemon, Ian Pratt:
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place. Advances in Modal Logic 1996: 115-132 - Larisa Maksimova:
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality. Advances in Modal Logic 1996: 133-140 - Maarten Marx:
Mosaics and Cylindric Modal Logic of Dimension~2. Advances in Modal Logic 1996: 141-156 - Aida Pliuskeviciene:
Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom. Advances in Modal Logic 1996: 157-172 - Riccardo Rosati:
Minimal Knowledge States in Nonmonotonic Modal Logics. Advances in Modal Logic 1996: 173-187 - Renate A. Schmidt:
Resolution is a Decision Procedure for Many Propositional Modal Logics. Advances in Modal Logic 1996: 189-208 - Valentin B. Shehtman:
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I). Advances in Modal Logic 1996: 209-222 - Hiroyuki Shirasu:
Duality in Superintuitionistic and Modal Predicate Logics. Advances in Modal Logic 1996: 223-236 - Vladimir V. Spanopulo, Vladimir A. Zakharov:
On the Relationship between Models of Parallel Computations. Advances in Modal Logic 1996: 237-248 - Timothy J. Surendonk:
On Isomorphisms between Canonical Frames. Advances in Modal Logic 1996: 249-268 - Dimiter Vakarelov:
Hyper Arrow Structures. Arrow Logics~III. Advances in Modal Logic 1996: 269-290 - Yde Venema:
Atom Structures. Advances in Modal Logic 1996: 291-305 - Albert Visser:
An Overview of Interpretability Logic. Advances in Modal Logic 1996: 307-359 - Frank Wolter:
Fusions of Modal Logics Revisited. Advances in Modal Logic 1996: 361-379
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
