Abstract is missing.
- On Combinatorial Proofs for Logics of Relevance and EntailmentMatteo Acclavio, Lutz Straßburger. 1-16 [doi]
- An Infinitary Treatment of Full Mu-CalculusBahareh Afshari, Gerhard Jäger, Graham E. Leigh. 17-34 [doi]
- Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free DualityNick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday. 35-52 [doi]
- Rigid First-Order Hybrid LogicPatrick Blackburn, Manuel Martins, María Manzano, Antonia Huertas. 53-69 [doi]
- The One-Variable Fragment of Corsi LogicXavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Tuyt. 70-83 [doi]
- Analytic Calculi for Monadic PNmatricesCarlos Caleiro, Sérgio Marcelino. 84-98 [doi]
- Non Normal Logics: Semantic Analysis and Proof TheoryJinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis. 99-118 [doi]
- Modeling the Interaction of Computer Errors by Four-Valued Contaminating LogicsRoberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc. 119-139 [doi]
- Modelling Informational EntropyWillem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg. 140-160 [doi]
- Hennessy-Milner Properties for (Modal) Bi-intuitionistic LogicJim de Groot, Dirk Pattinson. 161-176 [doi]
- The McKinsey-Tarski Theorem for Topological Evidence LogicsAlexandru Baltag, Nick Bezhanishvili, Saúl Fernández González. 177-194 [doi]
- 0David Fernández Duque, Eduardo Hermo Reyes. 195-207 [doi]
- Descriptive Complexity of Deterministic Polylogarithmic TimeFlavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema. 208-222 [doi]
- A Representation Theorem for Finite Gödel Algebras with OperatorsTommaso Flaminio, Lluis Godo, Ricardo Oscar Rodríguez. 223-235 [doi]
- Bar Induction and Restricted Classical LogicMakoto Fujiwara. 236-247 [doi]
- Uniform Labelled Calculi for Conditional and Counterfactual LogicsMarianna Girlando, Sara Negri, Giorgio Sbardolini. 248-263 [doi]
- Bar-Hillel Theorem Mechanization in CoqSergey Bozhko, Leyla Khatbullina, Semyon Grigorev. 264-281 [doi]
- Proof-Net as Graph, Taylor Expansion as PullbackGiulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. 282-300 [doi]
- Complexity Thresholds in Inclusion LogicMiika Hannula, Lauri Hella. 301-322 [doi]
- The Multiresolution Analysis of Flow GraphsSteve Huntsman. 323-341 [doi]
- An Exponential Lower Bound for Proofs in Focused CalculiRaheleh Jalali. 342-355 [doi]
- The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years LaterMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. 356-372 [doi]
- L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative UnitMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. 373-391 [doi]
- Logics for First-Order Team PropertiesJuha Kontinen, Fan Yang. 392-414 [doi]
- Modal Auxiliaries and Negation: A Type-Logical AccountYusuke Kubota, Robert Levine. 415-432 [doi]
- Subset Models for Justification LogicEveline Lehmann, Thomas Studer. 433-449 [doi]
- Algebraic Semantics for Quasi-Nelson LogicFei Liang, Thiago Nascimento. 450-466 [doi]
- A Case for Property-Type SemanticsKristina Liefke. 467-485 [doi]
- Note on Globally Sound Analytic Calculi for Quantifier MacrosMatthias Baaz, Anela Lolic. 486-497 [doi]
- Closure Ordinals of the Two-Way Modal µ-CalculusGian Carlo Milanese, Yde Venema. 498-515 [doi]
- SIXTEEN _3 in Light of Routley StarsHitoshi Omori, Daniel Skurt. 516-532 [doi]
- An Algorithmic Approach to the Existence of Ideal Objects in Commutative AlgebraThomas Powell, Peter Schuster 0001, Franziskus Wiesnet. 533-549 [doi]
- Reverse Mathematics and Computability Theory of Domain TheorySam Sanders. 550-568 [doi]
- Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded ProofsYury Savateev, Daniyar S. Shamkanov. 569-583 [doi]
- On First-Order Expressibility of Satisfiability in SubmodelsDenis I. Saveliev. 584-593 [doi]
- Substructural Propositional Dynamic LogicsIgor Sedlár. 594-609 [doi]
- Modal Logics of Finite Direct Powers of \omega Have the Finite Model PropertyIlya Shapirovsky. 610-618 [doi]
- Knowledge Without Complete CertaintyHans van Ditmarsch, Louwe B. Kuijer. 619-632 [doi]
- A Framework for Distributional Formal SemanticsNoortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer. 633-646 [doi]
- Weak ConservativityRichard Zuber. 647-660 [doi]