Linking Game-Theoretical Approaches with Constructive Type Theory More Books Like This

Immanent Reasoning or Equality in Action Immanent Reasoning or Equality in Action
Immanent Reasoning or Equality in Action
2018
Information, Interaction, and Agency Information, Interaction, and Agency
Information, Interaction, and Agency
2005
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
2011
Games, Norms and Reasons Games, Norms and Reasons
Games, Norms and Reasons
2011
Knowledge, Proof and Dynamics Knowledge, Proof and Dynamics
Knowledge, Proof and Dynamics
2020
Krister Segerberg on Logic of Actions Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions
2013
Johan van Benthem on Logic and Information Dynamics Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
2014
Rohit Parikh on Logic, Language and Society Rohit Parikh on Logic, Language and Society
Rohit Parikh on Logic, Language and Society
2017
Reasoning about Preference Dynamics Reasoning about Preference Dynamics
Reasoning about Preference Dynamics
2011
Epistemology, Knowledge and the Impact of Interaction Epistemology, Knowledge and the Impact of Interaction
Epistemology, Knowledge and the Impact of Interaction
2016
Dynamic Epistemic Logic Dynamic Epistemic Logic
Dynamic Epistemic Logic
2007
Dynamics, Uncertainty and Reasoning Dynamics, Uncertainty and Reasoning
Dynamics, Uncertainty and Reasoning
2019
Structural Analysis of Non-Classical Logics Structural Analysis of Non-Classical Logics
Structural Analysis of Non-Classical Logics
2015
Introduction to Formal Philosophy Introduction to Formal Philosophy
Introduction to Formal Philosophy
2018
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
2018