Abstract is missing.
- Formalized Soundness and Completeness of Epistemic LogicAsta Halkjær From. 1-15 [doi]
- A Logical Characterization of Constant-Depth Circuits over the RealsTimon Barlag, Heribert Vollmer. 16-30 [doi]
- Wanted Dead or Alive: Epistemic Logic for Impure Simplicial ComplexesHans van Ditmarsch. 31-46 [doi]
- Doubly Strongly First Order DependenciesPietro Galliani. 47-63 [doi]
- Explicit Non-normal Modal LogicAtefeh Rohani, Thomas Studer. 64-81 [doi]
- A General Relational Semantics of Propositional Logic: AxiomatizationShengyang Zhong. 82-99 [doi]
- Meaning and Computing: Two Approaches to Computable PropositionsIvo Pezlar. 100-116 [doi]
- Modal Logic via Global ConsequenceXuefeng Wen. 117-132 [doi]
- Games for Hybrid Logic - From Semantic Games to Analytic CalculiRobert Freiman. 133-149 [doi]
- Verifying the Conversion into CNF in DafnyViorel Iordache, Stefan Ciobaca. 150-166 [doi]
- Analysis in a Formal Predicative Set TheoryNissan Levi, Arnon Avron. 167-183 [doi]
- Coherence via Focusing for Symmetric Skew Monoidal CategoriesNiccolò Veltri. 184-200 [doi]
- On the Subtle Nature of a Simple Logic of the Hide and Seek GameDazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu. 201-218 [doi]
- Orthogonal Frames and Indexed RelationsPhilippe Balbiani, Saúl Fernández González. 219-234 [doi]
- Computable Execution TracesDeclan Thompson. 235-251 [doi]
- Axiomatic Reals and Certified Efficient Exact Real ComputationMichal Konecný, Sewon Park 0001, Holger Thies. 252-268 [doi]
- Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora ResolutionDavide Catta, Symon Jory Stevens-Guille. 269-286 [doi]
- Uniform Lyndon Interpolation for Basic Non-normal Modal LogicsAmirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali. 287-301 [doi]
- On the Expressive Power of TeamLTL and First-Order Team Logic over HyperpropertiesJuha Kontinen, Max Sandström. 302-318 [doi]
- R(đownarrow )Nicolás González, Sergio Abriola. 319-336 [doi]
- Uniform Interpolation via Nested SequentsIris van der Giessen, Raheleh Jalali, Roman Kuznets. 337-354 [doi]
- Disjunction and Negation in Information Based SemanticsVít Puncochár, Andrew Tedder. 355-371 [doi]
- Algorithmically Broad Languages for Polynomial Time and SpaceDaniel Leivant. 372-387 [doi]
- A Pure View of Ecumenical ModalitiesSonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales. 388-407 [doi]
- Provability Games for Non-classical LogicsAlexandra Pavlova. 408-425 [doi]