default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2012: Copenhagen, Denmark
- Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss:
Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. College Publications 2012, ISBN 978-1-84890-068-4 - Steven Awodey, Kohei Kishida:
Topological Completeness of First-Order Modal Logics. 1-17 - Franz Baader, Stefan Borgwardt, Barbara Morawska:
Computing Minimal EL-unifiers is Hard. 18-35 - Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Some Truths Are Best Left Unsaid. 36-54 - Philippe Balbiani, Stanislav Kikot:
Sahlqvist Theorems for Precontact Logics. 55-70 - Philippe Balbiani, Levan Uridia:
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. 71-88 - Lev D. Beklemishev:
Calibrating Provability Logic: From Modal Logic to Reflection Calculus. 89-94 - Johan van Benthem:
Foundational Issues in Logical Dynamics. 95-96 - Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence Logic: A New Look at Neighborhood Structures. 97-118 - Marta Bílková, Rostislav Horcík, Jirí Velebil:
Distributive Substructural Logics as Coalgebraic Logics over Posets. 119-142 - Lars Birkedal:
First Steps in Synthetic Guarded Domain Theory. 143 - Patrick Blackburn, Klaus Frovin Jørgensen:
Indexical Hybrid Tense Logic. 144-160 - Facundo Carreiro, Stéphane Demri:
Beyond Regularity for Presburger Modal Logic. 161-182 - Balder ten Cate:
Guarded Negation. 183-184 - David Fernández-Duque, Joost J. Joosten:
Kripke Models of Transfinite Provability Logic. 185-199 - David Fernández-Duque:
Non-finite Axiomatizability of Dynamic Topological Logic. 200-216 - Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for Temporal Logic over the Reals. 217-238 - Patrick Girard, Jeremy Seligman, Fenrong Liu:
General Dynamic Dynamic Logic. 239-260 - Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiß:
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. 261-278 - Rajeev Goré, Revantha Ramanayake:
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. 279-299 - Daniel Gorín, Lutz Schröder:
Extending ALCQ with Bounded Self-Reference. 300-316 - James Hales, Tim French, Rowan Davies:
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. 317-338 - Christopher Hampson, Agi Kurucz:
On Modal Products with the Logic of 'Elsewhere'. 339-347 - Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III:
A Uniform Logic of Information Dynamics. 348-367 - Krzysztof Kapulkin, Alexander Kurz, Jirí Velebil:
Expressiveness of Positive Coalgebraic Logic. 368-385 - Andrey Kudinov:
Modal Logic of Some Products of Neighborhood Frames. 386-394 - Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman:
On Modal Logics of Hamming Spaces. 395-410 - Agi Kurucz, Sérgio Marcelino:
Finite Frames for K4.3 x S5 Are Decidable. 411-436 - Roman Kuznets, Thomas Studer:
Justifications, Ontology, and Conservativity. 437-458 - Larisa Maksimova:
Interpolation and Beth Definability over the Minimal Logic. 459-463 - Jakub Michaliszyn, Emanuel Kieronski:
Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. 464-482 - Dmitrij P. Skvortsov:
A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. 483-493 - Tomoyuki Suzuki:
Morphisms on Bi-approximation Semantics. 494-515 - Alwen Tiu, Egor Ianovski, Rajeev Goré:
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. 516-537 - Dimiter Vakarelov:
Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. 538-558 - Yanjing Wang, Yanjun Li:
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. 559-580
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-01-27 23:58 CET 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:
