default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2000: Leipzig, Germany
- Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev:
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000. World Scientific 2002, ISBN 981-238-179-1 - Rostislav E. Yavorsky:
On Arithmetical Completeness of First-Order Logics of Provability. 1-16 - Carlos Areces, Maarten de Rijke:
From Description to Hybrid Logics, and Back. 17-36 - Nuel D. Belnap Jr.:
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. 37-58 - Torben Braüner:
Homophonic Theory of Truth for Tense Logic. 59-72 - Fabrice Correia:
Weak Necessity on Weak Kleene Matrices. 73-90 - Jennifer M. Davoren, Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics. 91-111 - Stéphane Demri:
Modal Logics with Weak Forms of Recursion: PSPACE Specimens. 113-138 - Tim Fernando:
Towards a Many-Dimensional Modal Logic for Semantic Processing. 139-151 - Marcelo Finger:
Algorithmic Correspondence Theory for Substructural Categorial Logic. 153-172 - Norman Y. Foo, Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. 173-191 - Silvio Ghilardi, Marek W. Zawadowski
:
From Bisimulation Quantifiers to Classifying Toposes. 193-220 - Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages. 221-240 - Yasusi Hasimoto:
Normal Products of Modal Logics. 241-255 - Colin Hirsch, Stephan Tobies:
A Tableau Algorithm for the Clique Guarded Fragment. 257-277 - Mamoru Kaneko, Nobu-Yuki Suzuki:
Epistemic Logic of Shallow Depths and Game Theoretical Applications. 279-298 - Marcus Kracht, Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames. 299-320 - Ágnes Kurucz:
S5 × S5 × S5 Lacks the Finite Model Property. 321-327 - Carsten Lutz, Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics. 329-348 - Larisa Maksimova:
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. 349-363 - Krister Segerberg:
Outline of a Logic of Action. 365-387 - Ruili Ye, Melvin Fitting:
Belief, Names, and Modes of Presentation. 389-408
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 2026-07-24 23:10 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
