Proof, Computation and Agency المزيد من الكتب المشابهة

Games, Norms and Reasons Games, Norms and Reasons
Games, Norms and Reasons
٢٠١١
Rohit Parikh on Logic, Language and Society Rohit Parikh on Logic, Language and Society
Rohit Parikh on Logic, Language and Society
٢٠١٧
J. Michael Dunn on Information Based Logics J. Michael Dunn on Information Based Logics
J. Michael Dunn on Information Based Logics
٢٠١٦
Knowledge, Proof and Dynamics Knowledge, Proof and Dynamics
Knowledge, Proof and Dynamics
٢٠٢٠
Johan van Benthem on Logic and Information Dynamics Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
٢٠١٤
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
٢٠١٨
Logic in High Definition Logic in High Definition
Logic in High Definition
٢٠٢٠
Structural Analysis of Non-Classical Logics Structural Analysis of Non-Classical Logics
Structural Analysis of Non-Classical Logics
٢٠١٥
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
٢٠١٨
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
٢٠٠٦
Dynamic Tractable Reasoning Dynamic Tractable Reasoning
Dynamic Tractable Reasoning
٢٠٢٠
Dynamic Epistemic Logic Dynamic Epistemic Logic
Dynamic Epistemic Logic
٢٠٠٧
Epistemology, Knowledge and the Impact of Interaction Epistemology, Knowledge and the Impact of Interaction
Epistemology, Knowledge and the Impact of Interaction
٢٠١٦
Raymond Smullyan on Self Reference Raymond Smullyan on Self Reference
Raymond Smullyan on Self Reference
٢٠١٨
Meaning and Proscription in Formal Logic Meaning and Proscription in Formal Logic
Meaning and Proscription in Formal Logic
٢٠١٧