Abstract is missing.
- Constructive Decision TheoryLawrence E. Blume, David A. Easley, Joseph Y. Halpern. 1-4 [doi]
- Bisimulation and Coverings for Graphs and HypergraphsMartin Otto. 5-16 [doi]
- Forcing Axioms, Finite Conditions and Some MoreMirna Dzamonja. 17-26 [doi]
- A Note on Axiomatisations of Two-Dimensional Modal LogicsAgi Kurucz. 27-33 [doi]
- The Birth of Proof: Modality and Deductive ReasoningAdriane A. Rini. 34-49 [doi]
- Indiscrete Models: Model Building and Model Checking over Linear TimeTim French, John Christopher McCabe-Dansted, Mark Reynolds. 50-68 [doi]
- Probabilistic IF LogicGabriel Sandu. 69-79 [doi]
- Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and KnowledgeMai Ajspur, Valentin Goranko. 80-96 [doi]
- Agent-Time Epistemics and CoordinationIdo Ben-Zvi, Yoram Moses. 97-108 [doi]
- Dynamic Epistemic Logic for Channel-Based Agent CommunicationKatsuhiko Sano, Satoshi Tojo. 109-120 [doi]
- On Kripke's Puzzle about Time and ThoughtRohit Parikh. 121-126 [doi]
- Yablo Sequences in Truth TheoriesCezary Cieslinski. 127-138 [doi]
- Moving Up and Down in the Generic MultiverseJoel David Hamkins, Benedikt Löwe. 139-147 [doi]
- Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic LogicBjörn Lellmann, Dirk Pattinson. 148-160 [doi]
- Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial TermsFranco Parlamento, Flavio Previale. 161-172 [doi]
- Logic of Non-monotonic Interactive ProofsSimon Kramer. 173-184 [doi]
- Noninterference for Intuitionist NecessityRadha Jagadeesan, Corin Pitcher, James Riely. 185-196 [doi]
- Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative AppraisalSoma Dutta, Sanjukta Basu, Mihir K. Chakraborty. 197-209 [doi]
- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition SystemS. P. Tiwari, Anupam K. Singh. 210-219 [doi]
- Public Announcements for Non-omniscient AgentsFernando R. Velázquez-Quesada. 220-232 [doi]
- Subset Space Logic with Arbitrary AnnouncementsPhilippe Balbiani, Hans P. van Ditmarsch, Andrey Kudinov. 233-244 [doi]
- Subset Space Public Announcement LogicYì N. Wáng, Thomas Ågotnes. 245-257 [doi]