Advances in Modal Logic, Volume 11

Lev Beklemishev, Stéphane Demri and András Máté, editors.

College Publications, 2016.

ISBN-13: 978-1-84890-201-5

Volume 11 contains invited and contributed papers from the eleventh conference on "Advances in Modal logic," held in Budapest, Hungary, from 30 August to 2 September 2016.

Volume 11 is available online:

Table of Contents

• Preface, viii-x
• Juan Pablo Aguilera and David Fernández-Duque, Verification logic: An arithmetical interpretation for negative introspection, 1-20
• Arnon Avron and Anna Zamansky, A paraconsistent view on B and S5, 21-37
• Zeinab Bakhtiari, Hans van Ditmarsch and Sabine Frittella, Algebraic semantics of refinement modal logic, 38-57
• Philippe Balbiani, Hans van Ditmarsch and Andreas Herzig, Before announcement, 58-77
• Philippe Balbiani and David Fernández-Duque, Axiomatizing the lexicographic products of modal logics with linear temporal logic, 78-96
• Philippe Balbiani and Didier Galmiche, About intuitionistic public announcement logic, 97-116
• Philippe Balbiani and Tinko Tinchev, Unification in modal logic Alt₁, 117-134
• Alexandru Baltag, To Know is to Know the Value of a Variable, 135-155
• Alexandru Baltag, Virginie Fiutek and Sonja Smets, Beliefs and Evidence in Justification Models, 156-176
• Guram Bezhanishvili and Wesley Holliday, Locales, Nuclei, and Dragalin Frames, 177-196
• Agata Ciabattoni and Francesco A. Genco, Embedding formalisms: hypersequents and two-level systems of rule, 197-216
• Michael De and Hitoshi Omori, Classical and Empirical Negation in Subintuitionistic Logic, 217-235
• Denisa Diaconescu, George Metcalfe and Laura Schnüriger, Axiomatizing a Real-Valued Modal Logic, 236-251
• Hans van Ditmarsch, Wiebe van der Hoek and 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 and Torben Braüner, Synthetic completeness proofs for Seligman-style tableau systems, 302-321
• Marianna Girlando, Sara Negri, Nicola Olivetti and Vincent Risch, The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus, 322-341
• Robert Goldblatt and Ian Hodkinson, The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space, 342-361
• Tao Gu and 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 and Miikka Vilander, The succinctness of first-order logic over modal logic via a formula size game, 401-419
• Gerhard Jäger and 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 and Yoni Zohar, It ain't necessarily so: Basic sequent systems for negative modalities, 449-468
• Sonia Marin, Dale Miller and 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 and Valentin 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 and Bryan Renne, Update, Probability, Knowledge and Belief, 551-570