Proof, Computation and Agency More Books Like This
Games, Norms and Reasons
2011
Rohit Parikh on Logic, Language and Society
2017
J. Michael Dunn on Information Based Logics
2016
Knowledge, Proof and Dynamics
2020
Johan van Benthem on Logic and Information Dynamics
2014
Contradictions, from Consistency to Inconsistency
2018
Logic in High Definition
2020
Structural Analysis of Non-Classical Logics
2015
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
2018
Handbook of Philosophical Logic
2006
Dynamic Tractable Reasoning
2020
Dynamic Epistemic Logic
2007
Epistemology, Knowledge and the Impact of Interaction
2016
Raymond Smullyan on Self Reference
2018
Meaning and Proscription in Formal Logic
2017