Abstract is missing.
- Strict-Tolerant Conditional LogicsLin Chen, Xuefeng Wen. 1-17 [doi]
- A Linear Proof Language for Second-Order Intuitionistic Linear LogicAlejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe. 18-35 [doi]
- A Logic of IsolationCan Baskent, David R. Gilbert, Giorgio Venturi. 36-46 [doi]
- A Simple Loopcheck for Intuitionistic KMarianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger. 47-63 [doi]
- A Compositional Theory of Krivine's Classical RealisabilityDaichi Hayashi, Graham E. Leigh. 64-79 [doi]
- Intersection Types via Finite-Set DeclarationsFairouz Kamareddine, Joe B. Wells. 80-92 [doi]
- Syntactic Concept Lattice Models for Infinitary Action LogicStepan L. Kuznetsov. 93-107 [doi]
- Rules of Partial OrthomodularityMena Leemhuis, Diedrich Wolter, Özgür L. Özçep. 108-121 [doi]
- Labelled Sequent Calculi for Inquisitive Modal LogicsValentin Müller. 122-139 [doi]
- Correspondence Theory on Vector SpacesAlessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni. 140-156 [doi]
- An EXPTIME-Complete Entailment Problem in Separation LogicNicolas Peltier. 157-174 [doi]
- (In)consistency Operators on Quasi-Nelson AlgebrasUmberto Rivieccio, Aldo Figallo Orellano. 175-192 [doi]
- Lambek Calculus with Banged Atoms for Parasitic GapsMehrnoosh Sadrzadeh, Lutz Straßburger. 193-209 [doi]
- Completeness of Finitely Weighted Kleene Algebra with TestsIgor Sedlár. 210-224 [doi]
- Modal Hyperdoctrine: Higher-Order and Non-normal ExtensionsFlorrie Verity, Yoshihiro Maruyama. 225-242 [doi]
- Validity in Contexts - A Semantics for Indicatives and Epistemic ModalsXuefeng Wen. 243-260 [doi]
- Logical Expressibility of Syntactic NL for Complementarity and MaximizationTomoyuki Yamakami. 261-277 [doi]
- Polyadic Quantifiers on Dependent TypesMarek W. Zawadowski, Justyna Grudzinska. 278-291 [doi]