Immanent Reasoning or Equality in Action More Books Like This
Linking Game-Theoretical Approaches with Constructive Type Theory
2015
Games, Norms and Reasons
2011
Introduction to Formal Philosophy
2018
Dynamic Epistemic Logic
2007
Logic in High Definition
2020
Proof, Computation and Agency
2011
Krister Segerberg on Logic of Actions
2013
Rohit Parikh on Logic, Language and Society
2017
Epistemology, Knowledge and the Impact of Interaction
2016
Logic, Language, and Computation
2007
Truth and Falsehood
2011
The Square of Opposition: A Cornerstone of Thought
2017
Advances in Natural Deduction
2014
Meaning and Proscription in Formal Logic
2017
Reasoning about Preference Dynamics
2011