Abstract is missing.
- Homotopy Type TheorySteve Awodey. 1-10 [doi]
- The Relevance of Relevance to Relevance LogicJ. Michael Dunn. 11-29 [doi]
- Logic-Automata Connections for TransformationsEmmanuel Filiot. 30-57 [doi]
- Truths about Simpson's Paradox: Saving the Paradox from FalsityPrasanta S. Bandyopadhyay, R. Venkata Raghavan, Don Wallace Dcruz, Gordon Brittan Jr.. 58-73 [doi]
- Some Instances of Graded Consequence in the Context of Interval-Valued SemanticsSoma Dutta, Benjamín R. C. Bedregal, Mihir K. Chakraborty. 74-87 [doi]
- Neighborhood Contingency LogicJie Fan, Hans P. van Ditmarsch. 88-99 [doi]
- Hierarchies in Inclusion Logic with Lax SemanticsMiika Hannula. 100-118 [doi]
- A Modal Logic for Non-deterministic Information SystemsMd. Aquil Khan. 119-131 [doi]
- Tableaux for Non-normal Public Announcement LogicMinghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada. 132-145 [doi]
- A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of BeliefAránzazu San Ginés, Rohit Parikh. 146-157 [doi]
- Büchi Automata Optimisations Formalised in Isabelle/HOLAlexander Schimpf, Jan-Georg Smaus. 158-169 [doi]
- Nyāya's Logical Model for Ascertaining Sound ArgumentsJaron Schorr. 170-182 [doi]
- Negative Existentials and Non-denoting TermsPaul Schweizer. 183-194 [doi]
- Ordinals in an Algebra-Valued Model of a Paraconsistent Set TheorySourav Tarafder. 195-206 [doi]
- Extending Carnap's Continuum to Binary RelationsAlena Vencovská. 207-217 [doi]
- Representing Imperfect Information of Procedures with Hyper ModelsYanjing Wang. 218-231 [doi]