default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2016: Budapest, Hungary
- Lev D. Beklemishev, Stéphane Demri, András Maté:
Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016. College Publications 2016, ISBN 978-1-84890-201-5 - Preface. Advances in Modal Logic 2016: viii-x
- Juan P. Aguilera, David Fernández-Duque:
Verification logic: An arithmetical interpretation for negative introspection. 1-20 - Arnon Avron, Anna Zamansky:
A paraconsistent view on B and S5. 21-37 - Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella
:
Algebraic semantics of refinement modal logic. 38-57 - Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. 58-77 - Philippe Balbiani, David Fernández-Duque:
Axiomatizing the lexicographic products of modal logics with linear temporal logic. 78-96 - Philippe Balbiani, Didier Galmiche:
About intuitionistic public announcement logic. 97-116 - Philippe Balbiani, Tinko Tinchev:
Unification in modal logic Alt1. 117-134 - Alexandru Baltag:
To Know is to Know the Value of a Variable. 135-155 - Alexandru Baltag, Virginie Fiutek, Sonja Smets:
Beliefs and Evidence in Justification Models. 156-176 - Guram Bezhanishvili, Wesley H. Holliday:
Locales, Nuclei, and Dragalin Frames. 177-196 - Agata Ciabattoni, Francesco A. Genco:
Embedding formalisms: hypersequents and two-level systems of rule. 197-216 - Michael De, Hitoshi Omori:
Classical and Empirical Negation in Subintuitionistic Logic. 217-235 - Denisa Diaconescu, George Metcalfe, Laura Schnüriger:
Axiomatizing a Real-Valued Modal Logic. 236-251 - Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
Fully Arbitrary Public Announcements. 252-267 - Birgit Elbl:
A cut-free sequent calculus for the logic of subset spaces. 268-287 - Peter Fritz:
Post Completeness in Congruential Modal Logics. 288-301 - Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner:
Synthetic completeness proofs for Seligman-style tableau systems. 302-321 - Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch:
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. 322-341 - Robert Goldblatt, Ian M. Hodkinson:
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. 342-361 - Tao Gu, Yanjing Wang:
"Knowing value'' logic as a normal modal logic. 362-381 - Christopher Hampson:
Decidable first-order modal logics with counting quantifiers. 382-400 - Lauri Hella, Miikka Vilander:
The succinctness of first-order logic over modal logic via a formula size game. 401-419 - Gerhard Jäger, Michel Marti:
A canonical model construction for intuitionistic distributed knowledge. 420-434 - Marcus Kracht:
Logics of Infinite Depth. 435-448 - Ori Lahav, João Marcos, Yoni Zohar:
It ain't necessarily so: Basic sequent systems for negative modalities. 449-468 - Sonia Marin, Dale Miller, Marco Volpe:
A focused framework for emulating modal proof systems. 469-488 - Yutaka Miyazaki:
The structure of the lattice of normal extensions of modal logics with cyclic axioms. 489-502 - Igor Sedlár:
Propositional dynamic logic with Belnapian truth values. 503-519 - Ilya Shapirovsky, Valentin B. Shehtman:
Local tabularity without transitivity. 520-534 - Sara L. Uckelman:
The Logic of Where and While in the 13th and 14th Centuries. 535-550 - Jan van Eijck, Bryan Renne:
Update, Probability, Knowledge and Belief. 551-570
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-11-05 21:09 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:
