Advances in Modal Logic, Volume 13

Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, editors.

College Publications, 2020.

ISBN-13: 978-1-84890-341-8

Volume 13 contains invited and contributed papers from the thirteenth conference on Advances in Modal Logic organised at the University of Helsinki, Finland, but due to Covid-19 held online from 24 to 28 August 2020.

Volume 13 is available online:

Table of Contents

• Preface, viii-xi
• Abstracts of Invited Talks
• Bahareh Afshari, Cyclic Proof Systems for Modal Logics, 3
• Nick Bezhanishvili, Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics, 5
• Melvin Fitting, About 'Binding Modalities', 7
• Nina Gierasimczuk, Learning and Modal Logic: There and Back Again, 9
• Contributed Papers
• Ana de Almeida Borges and Joost J. Joosten, Quantified Reflection Calculus with one modality, 13-32
• Philippe Balbiani, Hans van Ditmarsch and Saúl Fernández González, Quantifying over Asynchronous Information Change, 33-52
• Philippe Balbiani and Saúl Fernández González, Indexed Frames and Hybrid Logics, 53-72
• Fausto Barbero and Fan Yang, Counterfactuals and dependencies on causal teams: expressive power and deduction systems, 73-93
• Guram Bezhanishvili and Luca Carai, Temporal interpretation of intuitionistic quantifiers, 95-114
• Nick Bezhanishvili, Silvio Ghilardi and Lucia Landi Model Completeness and Π₂-rules: the case of Contact Algebras, 115-132
• Justin Bledin and Yitzhak Melamed, Spinozian Model Theory, 133-147
• Yifeng Ding and Wesley H. Holliday, Another Problem in Possible World Semantics, 149-168
• Sebastian Enqvist, A circular proof system for the hybrid μ-calculus, 169-188
• Luis Estrada-González, Possibility, consistency, connexivity, 189-207
• Giulio Fellin, Sara Negri and Peter Schuster, Modal Logic for Induction, 209-227
• Jonas Forster and Lutz Schröder, Non-iterative Modal Logics are Coalgebraic, 229-248
• Valentin Goranko, The modal logic of almost sure frame validities in the finite, 249-268
• Rajeev Goré and Ian Shillito, Bi-Intuitionistic Logics: a New Instance of an Old Problem, 269-288
• Jim de Groot, Helle Hvid Hansen and Alexander Kurz, Logic-Induced Bisimulations, 289-308
• Andreas Herzig and Elise Perrotin, On the axiomatisation of common knowledge, 309-328
• Wesley H. Holliday, Inquisitive Intuitionistic Logic, 329-348
• Andrzej Indrzejczak, Existence, Definedness and Definite Descriptions in Hybrid Modal Logic, 349-368
• Stanislav Kikot, Ilya Shapirovsky and Evgeny Zolin, Modal Logics with Transitive Closure: Completeness, Decidability, Filtration, 369-388
• Jędrzej Kołodziejski, Bisimulational Categoricity, 389-404
• Hirohiko Kushida, Reduction of Modal Logic and Realization in Justification Logic, 405-424
• Stepan Kuznetsov, The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins, 425-440
• George Metcalfe and Olim Tuyt, A Monadic Logic of Ordered Abelian Groups, 441-457
• Satoru Niki and Hitoshi Omori, Actuality in Intuitionistic Logic, 459-479
• Hitoshi Omori and Daniel Skurt, A Semantics for a Failed Axiomatization of K, 481-501
• Hitoshi Omori and Heinrich Wansing, An Extension of Connexive Logic C, 503-522
• Mikhail Rybakov and Dmitry Shkatov, Algorithmic properties of first-order modal logics of the natural number line in restricted languages, 523-539
• Katsuhiko Sano, Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic, 541-560
• Igor Sedlár, Finitely-valued Propositional Dynamic Logic, 561-579
• Daniyar Shamkanov, Global neighbourhood completeness of the provability logic GLP, 581-595
• Sara L. Uckelman, William of Sherwood on Necessity and Contingency, 597-620