Abstract is missing.
- Topological Completeness of First-Order Modal LogicsSteven Awodey, Kohei Kishida. 1-17 [doi]
- Computing Minimal EL-unifiers is HardFranz Baader, Stefan Borgwardt, Barbara Morawska. 18-35 [doi]
- Some Truths Are Best Left UnsaidPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. 36-54 [doi]
- Sahlqvist Theorems for Precontact LogicsPhilippe Balbiani, Stanislav Kikot. 55-70 [doi]
- Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial OrdersPhilippe Balbiani, Levan Uridia. 71-88 [doi]
- Calibrating Provability Logic: From Modal Logic to Reflection CalculusLev D. Beklemishev. 89-94 [doi]
- Foundational Issues in Logical DynamicsJohan van Benthem. 95-96 [doi]
- Evidence Logic: A New Look at Neighborhood StructuresJohan van Benthem, David Fernández Duque, Eric Pacuit. 97-118 [doi]
- Distributive Substructural Logics as Coalgebraic Logics over PosetsMarta Bílková, Rostislav Horcík, Jiri Velebil. 119-142 [doi]
- First Steps in Synthetic Guarded Domain TheoryLars Birkedal. 143 [doi]
- Indexical Hybrid Tense LogicPatrick Blackburn, Klaus Frovin Jørgensen. 144-160 [doi]
- Beyond Regularity for Presburger Modal LogicFacundo Carreiro, Stéphane Demri. 161-182 [doi]
- Guarded NegationBalder ten Cate. 183-184 [doi]
- Kripke Models of Transfinite Provability LogicDavid Fernández Duque, Joost J. Joosten. 185-199 [doi]
- Non-finite Axiomatizability of Dynamic Topological LogicDavid Fernández Duque. 200-216 [doi]
- Synthesis for Temporal Logic over the RealsTim French, John Christopher McCabe-Dansted, Mark Reynolds. 217-238 [doi]
- General Dynamic Dynamic LogicPatrick Girard, Jeremy Seligman, Fenrong Liu. 239-260 [doi]
- The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural NumbersStefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Felix Weiß. 261-278 [doi]
- Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) SequentsRajeev Goré, Revantha Ramanayake. 279-299 [doi]
- Extending ALCQ with Bounded Self-ReferenceDaniel Gorín, Lutz Schröder. 300-316 [doi]
- Refinement Quantified Logics of Knowledge and Belief for Multiple AgentscJames Hales, Tim French, Rowan Davies. 317-338 [doi]
- On Modal Products with the Logic of 'Elsewhere'Christopher Hampson, Agi Kurucz. 339-347 [doi]
- A Uniform Logic of Information DynamicsWesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III. 348-367 [doi]
- Expressiveness of Positive Coalgebraic LogicKrzysztof Kapulkin, Alexander Kurz, Jiri Velebil. 368-385 [doi]
- Modal Logic of Some Products of Neighborhood FramesAndrey Kudinov. 386-394 [doi]
- On Modal Logics of Hamming SpacesAndrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman. 395-410 [doi]
- Finite Frames for K4.3 x S5 Are DecidableAgi Kurucz, Sérgio Marcelino. 411-436 [doi]
- Justifications, Ontology, and ConservativityRoman Kuznets, Thomas Studer. 437-458 [doi]
- Interpolation and Beth Definability over the Minimal LogicLarisa Maksimova. 459-463 [doi]
- Finite Satisfiability of Modal Logic over Horn~Definable Classes of FramesJakub Michaliszyn, Emanuel Kieronski. 464-482 [doi]
- A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) EqualityDmitrij P. Skvortsov. 483-493 [doi]
- Morphisms on Bi-approximation SemanticsTomoyuki Suzuki 0001. 494-515 [doi]
- Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision ProceduresAlwen Tiu, Egor Ianovski, Rajeev Goré. 516-537 [doi]
- Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time LogicsDimiter Vakarelov. 538-558 [doi]
- Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in NavigationYanjing Wang, Yanjun Li. 559-580 [doi]