Abstract is missing.
- Cyclic Proof Systems for Modal LogicsBahareh Afshari. 3 [doi]
- Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logicsNick Bezhanishvili. 5 [doi]
- About 'Binding Modalities'Melvin Fitting. 7 [doi]
- Learning and Modal Logic: There and Back AgainNina Gierasimczuk. 9 [doi]
- Quantified Reflection Calculus with One ModalityAna de Almeida Borges, Joost J. Joosten. 13-32
- Quantifying over Asynchronous Information ChangePhilippe Balbiani, Hans van Ditmarsch, Saúl Fernández González. 33-52
- Indexed Frames and Hybrid LogicsPhilippe Balbiani, Saúl Fernández González. 53-72
- Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction SystemsFausto Barbero, Fan Yang. 73-93
- Temporal Interpretation of Intuitionistic QuantifiersGuram Bezhanishvili, Luca Carai. 95-114
- 2-rules: The Case of Contact AlgebrasNick Bezhanishvili, Silvio Ghilardi, Lucia Landi. 115-132
- Spinozian Model TheoryJustin Bledin, Yitzhak Melamed. 133-147
- Another Problem in Possible World SemanticsYifeng Ding, Wesley H. Holliday. 149-168
- A Circular Proof System for the Hybrid μ-CalculusSebastian Enqvist. 169-188
- Possibility, Consistency, ConnexivityLuis Estrada-González. 189-207
- Modal Logic for InductionGiulio Fellin, Sara Negri, Peter Schuster. 209-227
- Non-Iterative Modal Logics Are CoalgebraicJonas Forster, Lutz Schröder. 229-248
- The Modal Logic of Almost Sure Frame Validities in the FiniteValentin Goranko. 249-268
- Bi-Intuitionistic Logics: A New Instance of an Old ProblemRajeev Goré, Ian Shillito. 269-288
- Logic-Induced BisimulationsJim de Groot, Helle Hvid Hansen, Alexander Kurz 0001. 289-308
- On the Axiomatisation of Common KnowledgeAndreas Herzig, Elise Perrotin. 309-328
- Inquisitive Intuitionistic LogicWesley H. Holliday. 329-348
- Existence, Definedness and Definite Descriptions in Hybrid Modal LogicAndrzej Indrzejczak. 349-368
- Modal Logics with Transitive Closure: Completeness, Decidability, FiltrationStanislav Kikot, Ilya Shapirovsky, Evgeny Zolin. 369-388
- Bisimulational CategoricityJedrzej Kolodziejski. 389-404
- Reduction of Modal Logic and Realization in Justification LogicHirohiko Kushida. 405-424
- The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and JoinsStepan Kuznetsov. 425-440
- A Monadic Logic of Ordered Abelian GroupsGeorge Metcalfe, Olim Tuyt. 441-457
- Actuality in Intuitionistic LogicSatoru Niki, Hitoshi Omori. 459-479
- A Semantics for a Failed Axiomatization of KHitoshi Omori, Daniel Skurt. 481-501
- An Extension of Connexive Logic CHitoshi Omori, Heinrich Wansing. 503-522
- Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted LanguagesMikhail N. Rybakov, Dmitry Shkatov. 523-539
- Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive LogicKatsuhiko Sano. 541-560
- Finitely-Valued Propositional Dynamic LogicIgor Sedlár. 561-579
- GLPDaniyar S. Shamkanov. 581-596
- William of Sherwood on Necessity and ContingencySara L. Uckelman. 597-612