Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B42
@@ Property / Mathematics Subject Classification ID: 03B42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A99
@@ Property / Mathematics Subject Classification ID: 91A99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6694380
@@ Property / zbMATH DE Number: 6694380 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+epistemic game theory
@@ Property / zbMATH Keywords: epistemic game theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+epistemic logic
@@ Property / zbMATH Keywords: epistemic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type space
@@ Property / zbMATH Keywords: type space / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interactive epistemology
@@ Property / zbMATH Keywords: interactive epistemology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+STIT logic
@@ Property / zbMATH Keywords: STIT logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SQEMA
@@ Property / describes a project that uses: SQEMA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-015-0834-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1671390322
@@ Property / OpenAlex ID: W1671390322 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59469187
@@ Property / Wikidata QID: Q59469187 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulation of Bayesian analysis for games with incomplete information
+Normal rank
@@ Property / cites work @@
+Epistemic Conditions for Nash Equilibrium
@@ Property / cites work: Epistemic Conditions for Nash Equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative axiomatics and complexity of deliberative STIT theories
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / rank @@
+Normal rank
@@ Property / cites work @@
+Keep `hoping' for rationality: a solution to the backward induction paradox
+Normal rank
@@ Property / cites work @@
+Strong belief and forward induction reasoning.
@@ Property / cites work: Strong belief and forward induction reasoning. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of beliefs and common knowledge
@@ Property / cites work: Hierarchies of beliefs and common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+A quantitative analysis of modal logic
@@ Property / cites work: A quantitative analysis of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The hierarchical approach to modeling knowledge and common knowledge
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+A model-theoretic analysis of knowledge
@@ Property / cites work: A model-theoretic analysis of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
+Normal rank
@@ Property / cites work @@
+Probability logic for type spaces
@@ Property / cites work: Probability logic for type spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge spaces with arbitrarily high rank
@@ Property / cites work: Knowledge spaces with arbitrarily high rank / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086943
@@ Property / cites work: Q3086943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing types: information dynamics for qualitative type spaces
+Normal rank
@@ Property / cites work @@
+Knowledge, belief and time
@@ Property / cites work: Knowledge, belief and time / rank @@
+Normal rank
@@ Property / cites work @@
+On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
+Normal rank
@@ Property / cites work @@
+A modal logic of epistemic games
@@ Property / cites work: A modal logic of epistemic games / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about counterfactual emotions
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:516317