Accepted Papers

Full Papers

Philippe Balbiani and Tinko Tinchev. Unification in modal logic ALT1
Philippe Balbiani and David Fernandez Duque. Axiomatizing the lexicographic products of modal logics with LTL
Philippe Balbiani, Hans van Ditmarsch and Andreas Herzig. Before announcement
Marcus Kracht. Logics of Infinite Depth
Sara L. Uckelman. The Logic of Where and While in the 13th and 14th Centuries
Zeinab Bakhtiari, Hans van Ditmarsch and Sabine Frittella. Algebraic semantics of refinement modal logic
George Metcalfe, Denisa Diaconescu and Laura Schnüriger. Axiomatizing a Real-Valued Modal Logic
Juan Pablo Aguilera and David Fernández-Duque. Verification logic: An arithmetical interpretation for negative introspection
Peter Fritz. Post Completeness in Congruential Modal Logics
Marianna Girlando, Sara Negri, Nicola Olivetti and Vincent Risch. The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus
Philippe Balbiani and Didier Galmiche. About intuitionistic public announcement logic
Hans van Ditmarsch, Wiebe Van Der Hoek and Louwe B. Kuijer. Fully Arbitrary Public Announcements
Robert Goldblatt and Ian Hodkinson. The Tangled Derivative Logic of the Real Line and Zero-Dimensional Spaces
Tao Gu and Yanjing Wang. “Knowing value” logic as a normal modal logic
Arnon Avron and Anna Zamansky. A Paraconsistent View on B and S5
Agata Ciabattoni and Francesco A. Genco. Embedding formalisms: hypersequents and two-level systems of rules
Guram Bezhanishvili and Wesley Holliday. Locales, Nuclei, and Dragalin Frames
Gerhard Jäger and Michel Marti. A canonical model construction for intuitionistic distributed knowledge
Ilya Shapirovsky and Valentin Shehtman. Local tabularity without transitivity
Christopher Hampson. Decidable first-order modal logics with counting quantifiers
Birgit Elbl. A cut-free sequent calculus for the logic of subset spaces
Igor Sedlar. Propositional dynamic logic with Belnapian truth values
Sonia Marin, Dale Miller and Marco Volpe. A focused framework for emulating modal proof systems
Alexandru Baltag. To Know is to Know the Value of a Variable
Lauri Hella and Miikka Vilander. The succinctness of first-order logic over modal logic via a formula size game
Yutaka Miyazaki. The structure of the lattice of normal extensions of modal logics with cyclic axioms
Michael De and Hitoshi Omori. Classical and Empirical Negation in Subintuitionistic Logic
Klaus Frovin Joergensen, Patrick Blackburn, Thomas Bolander and Torben Braüner. Synthetic completeness proofs for Seligman-style tableau systems
Ori Lahav, Joao Marcos and Yoni Zohar. It ain't necessarily so: Basic sequent systems for negative modalities
Jan Van Eijck and Bryan Renne. Update, Probability, Knowledge and Belief

Short Presentations

Alex Citkin. WS5 as a Metalogic of Superintuitionistic Multiple-Conclusion Consequence Relations
Ahmad Karimi. A Modal Logic Interpretation of Yablo-like Brandenburger-Keisler Paradox
Tatyana Ivanova and Dimiter Vakarelov. Distributive mereotopology
Dimiter Georgiev. Computability of definability in the class of all KD45 frames
Valentin Goranko and Louwe B. Kuijer. The length of distinguishing modal formulae
Dmitrij Skvortsov. The Kripke sheaf completion of weak constant domain principle is not finitely axiomatizable
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter and Michael Zakharyaschev. On the Completeness of EL-Equations: First Results
Hitoshi Omori and Daniel Skurt. A survey on Kearns' modal semantics without possible worlds
Polina Vakhrusheva. Temporal hybrid logics with the modalities “tomorrow” and “yesterday”
Joan Casas-Roma, Antonia Huertas and M. Elena Rodriguez. Beyond knowledge: when an agent imagines
Michal Dancak and Michal Pelis. Normal default rules as epistemic actions
Hajnal Andreka, Mohamed Khaled and Istvan Nemeti. Gödel's incompleteness properties and the expressive quality of some modal-behaving logics
Ivo Düntsch, Ewa Orlowska and Tinko Tinchev. Algebraic semantics for logics with necessity and sufficiency
Fan Yang. Axiomatizing Modal Dependence Logics
Alexey Chizhov. Temporal modal logic of intervals with relation ‘before’
Michał Stronkowski. Free Boolean extensions of Heyting algebras
Paula Henk. Big and small steps for fast and slow provability
Giuseppe Greco, Marta Bilkova, Alessandra Palmigiano, Nachoem Wijnberg and Apostolos Tzimoulis. The logic of Resources and Capabilities
Marta Bilkova and Matej Dostal. Expressivity of Many-valued Modal Logics, Coalgebraically
Julia Ilin. Stable Canonical Rules and Formulas for PDL
Stepan Kuznetsov. On the Lambek Calculus with the Kleene Star and the Exponential
Réka Markovich. Agents, Roles and Rights. A Formal Analysis on Hohfeldian Conceptions
Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for non-classical fixed point logics
Andrey Kudinov. Neighbourhood products of pretransitive modal logics with S5
Diana Costa, Manuel A. Martins and João Marcos. Herbrand’s Theorem for Hybrid Logic
Fedor Pakhomov. Semi-Provability Predicates and Extensions of GL
Denis Saveliev and Ilya Shapirovsky. On modal logic of submodels
Lev Beklemishev. Notes on a reduction property for GLP-algebras
Frederik Van De Putte. Taking the “choice” aspect of free choice permission seriously