Table of Contents

• Preface
• Verification logic: An arithmetical interpretation for negative introspectionJuan P. Aguilera, David Fernández Duque. 1-20 [doi]
• A paraconsistent view on B and S5Arnon Avron, Anna Zamansky. 21-37 [doi]
• Algebraic semantics of refinement modal logicZeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella. 38-57 [doi]
• Before announcementPhilippe Balbiani, Hans van Ditmarsch, Andreas Herzig. 58-77 [doi]
• Axiomatizing the lexicographic products of modal logics with linear temporal logicPhilippe Balbiani, David Fernández Duque. 78-96 [doi]
• About intuitionistic public announcement logicPhilippe Balbiani, Didier Galmiche. 97-116 [doi]
• 1Philippe Balbiani, Tinko Tinchev. 117-134 [doi]
• To Know is to Know the Value of a VariableAlexandru Baltag. 135-155 [doi]
• Beliefs and Evidence in Justification ModelsAlexandru Baltag, Virginie Fiutek, Sonja Smets. 156-176 [doi]
• Locales, Nuclei, and Dragalin FramesGuram Bezhanishvili, Wesley H. Holliday. 177-196 [doi]
• Embedding formalisms: hypersequents and two-level systems of ruleAgata Ciabattoni, Francesco A. Genco. 197-216 [doi]
• Classical and Empirical Negation in Subintuitionistic LogicMichael De, Hitoshi Omori. 217-235 [doi]
• Axiomatizing a Real-Valued Modal LogicDenisa Diaconescu, George Metcalfe, Laura Schnüriger. 236-251 [doi]
• Fully Arbitrary Public AnnouncementsHans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer. 252-267 [doi]
• A cut-free sequent calculus for the logic of subset spacesBirgit Elbl. 268-287 [doi]
• Post Completeness in Congruential Modal LogicsPeter Fritz. 288-301 [doi]
• Synthetic completeness proofs for Seligman-style tableau systemsKlaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner. 302-321 [doi]
• The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent CalculusMarianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. 322-341 [doi]
• The Tangled Derivative Logic of the Real Line and Zero-Dimensional SpaceRobert Goldblatt, Ian M. Hodkinson. 342-361 [doi]
• "Knowing value'' logic as a normal modal logicTao Gu, Yanjing Wang. 362-381 [doi]
• Decidable first-order modal logics with counting quantifiersChristopher Hampson. 382-400 [doi]
• The succinctness of first-order logic over modal logic via a formula size gameLauri Hella, Miikka Vilander. 401-419 [doi]
• A canonical model construction for intuitionistic distributed knowledgeGerhard Jäger, Michel Marti. 420-434 [doi]
• Logics of Infinite DepthMarcus Kracht. 435-448 [doi]
• It ain't necessarily so: Basic sequent systems for negative modalitiesOri Lahav, João Marcos, Yoni Zohar. 449-468 [doi]
• A focused framework for emulating modal proof systemsSonia Marin, Dale Miller, Marco Volpe. 469-488 [doi]
• The structure of the lattice of normal extensions of modal logics with cyclic axiomsYutaka Miyazaki. 489-502 [doi]
• Propositional dynamic logic with Belnapian truth valuesIgor Sedlár. 503-519 [doi]
• Local tabularity without transitivityIlya Shapirovsky, Valentin B. Shehtman. 520-534 [doi]
• The Logic of Where and While in the 13th and 14th CenturiesSara L. Uckelman. 535-550 [doi]
• Update, Probability, Knowledge and BeliefJan van Eijck, Bryan Renne. 551-570 [doi]