Linking Game-Theoretical Approaches with Constructive Type Theory المزيد من الكتب المشابهة

Immanent Reasoning or Equality in Action

٢٠١٨

Information, Interaction, and Agency

٢٠٠٥

Proof, Computation and Agency

٢٠١١

Games, Norms and Reasons

٢٠١١

Knowledge, Proof and Dynamics

٢٠٢٠

Krister Segerberg on Logic of Actions

٢٠١٣

Johan van Benthem on Logic and Information Dynamics

٢٠١٤

Rohit Parikh on Logic, Language and Society

٢٠١٧

Reasoning about Preference Dynamics

٢٠١١

Epistemology, Knowledge and the Impact of Interaction

٢٠١٦

Dynamic Epistemic Logic

٢٠٠٧

Dynamics, Uncertainty and Reasoning

٢٠١٩

Structural Analysis of Non-Classical Logics

٢٠١٥

Introduction to Formal Philosophy

٢٠١٨

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

٢٠١٨