Logic and Computation

Author Title Main area Type
Hans van Ditmarsch and Louwe B. Kuijer Quantifying over information change LoCo Advanced
Valentin Shehtman and Ilya Shapirovsky Bisimulations and filtrations in modal logic LoCo Advanced
Jørgen Villadsen Introduction to Type Theory and Higher-Order Logic LoCo Advanced
Oliver Fernandez Gil Unification in Description Logics LoCo Advanced
Michael Kohlhase and Florian Rabe Formalizing the Zoo of Logical Systems LoCo Advanced
Hans van Ditmarsch and Eric Pacuit Puzzles LoCo Foundational
Jan Broersen and Hein Duijf Responsibility in Action LoCo Foundational
Johann Makowsky and Klaus Meer P vs NP over various structures LoCo Foundational
Andrea Aler Tubella and Lutz Straßburger An introduction to deep inference LoCo Introductory
Valentin Goranko Games Logicians Play LoCo Introductory
Fernando R. Velázquez-Quesada Logical Dynamics of Social Interaction: Social Influence LoCo Introductory
Jeff Horty and Eric Pacuit Logics of Action, Ability, Knowledge and Obligation LoCo Introductory
Pavel Naumov Resources, Knowledge, and Actions LoCo Introductory
Andrzej Murawski and Nikos Tzevelekos Game Semantics LoCo Introductory
Sophia Knight and Aybüke Özgün Topological Approaches to Epistemic Logic LoCo Introductory
Leszek Wronski and Michał Tomasz Godziszewski Epistemic Inaccuracy and Degrees of Belief: Conceptual and Mathematical Foundations of Formal Epistemology LoCo Introductory