Abstract is missing.
- Decisions, Actions, and Games: A Logical PerspectiveJohan van Benthem. 1-22 [doi]
- Machine Checking Proof Theory: An Application of Logic to LogicRajeev Goré. 23-35 [doi]
- Some Second Order Set TheoryJoel David Hamkins. 36-50 [doi]
- Connection Matrices for MSOL-Definable Structural InvariantsJohann A. Makowsky. 51-64 [doi]
- Knowledge, Games and Tales from the EastRohit Parikh. 65-76 [doi]
- A Para Consistent Fuzzy LogicEsko Turunen. 77-88 [doi]
- From Philosophical to Industrial LogicsMoshe Y. Vardi. 89-115 [doi]
- Game Quantification PatternsDietmar Berwanger, Sophie Pinchinat. 116-130 [doi]
- Extensive QuestionsEmmanuel J. Genot. 131-145 [doi]
- An Analytic Logic of AggregationPatrick Girard, Jeremy Seligman. 146-161 [doi]
- Instantial Relevance in Polyadic Inductive LogicJürgen Landes, Jeff B. Paris, Alena Vencovská. 162-169 [doi]
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal LogicYoshihiro Maruyama. 170-184 [doi]
- A General Setting for the Pointwise Investigation of DeterminacyYurii Khomskii. 185-195 [doi]
- A Two-Dimensional Hybrid Logic of Subset SpacesYi N. Wang. 196-209 [doi]
- A Unified Framework for Certificate and Compilation for QBFIgor Stéphan, Benoit Da Mota. 210-223 [doi]
- Towards Decidability of Conjugacy of Pairs and TriplesBenny George Kenkireth, Samrith Ram. 224-231 [doi]
- Gautama - Ontology Editor Based on Nyaya LogicG. S. Mahalakshmi, T. V. Geetha, Arun Kumar, Dinesh Kumar, S. Manikandan. 232-242 [doi]
- Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument GamingG. S. Mahalakshmi, T. V. Geetha. 243-256 [doi]
- The Art of Non-asserting: Dialogue with NagarjunaMarie-Hélène Gorisse. 257-268 [doi]