Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarAdvances 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. Advances in Modal Logic 2000: 1-16 - Carlos Areces, Maarten de Rijke:
From Description to Hybrid Logics, and Back. Advances in Modal Logic 2000: 17-36 - Nuel D. Belnap Jr.:
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. Advances in Modal Logic 2000: 37-58 - Jennifer M. Davoren, Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics. Advances in Modal Logic 2000: 91-111 - Stéphane Demri:
Modal Logics with Weak Forms of Recursion: PSPACE Specimens. Advances in Modal Logic 2000: 113-138 - Tim Fernando:
Towards a Many-Dimensional Modal Logic for Semantic Processing. Advances in Modal Logic 2000: 139-151 - Marcelo Finger:
Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic 2000: 153-172 - Norman Y. Foo, Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Advances in Modal Logic 2000: 173-191 - Silvio Ghilardi, Marek W. Zawadowski:
From Bisimulation Quantifiers to Classifying Toposes. Advances in Modal Logic 2000: 193-220 - Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Advances in Modal Logic 2000: 221-240 - Colin Hirsch, Stephan Tobies:
A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic 2000: 257-277 - Mamoru Kaneko, Nobu-Yuki Suzuki:
Epistemic Logic of Shallow Depths and Game Theoretical Applications. Advances in Modal Logic 2000: 279-298 - Marcus Kracht, Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames. Advances in Modal Logic 2000: 299-320 - Carsten Lutz, Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348 - Larisa Maksimova:
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. Advances in Modal Logic 2000: 349-363 - Ruili Ye, Melvin Fitting:
Belief, Names, and Modes of Presentation. Advances in Modal Logic 2000: 389-408
last updated on 2019-05-19 22:01 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
