Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808): Difference between revisions

@@ Property / author @@
+Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3105478455
@@ Property / OpenAlex ID: W3105478455 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07990
@@ Property / arXiv ID: 1506.07990 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q50355418
@@ Property / Wikidata QID: Q50355418 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Epistemic Planning
@@ Property / cites work: Conditional Epistemic Planning / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q2973439
@@ Property / cites work: Q2973439 / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent Agents and Multi-Agent Systems
@@ Property / cites work: Intelligent Agents and Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599502
@@ Property / cites work: Q4599502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Rationality and context in defeasible subsumption
@@ Property / cites work: Rationality and context in defeasible subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the model theory of epistemic plausibility models
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4275688
@@ Property / cites work: Q4275688 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, belief and time
@@ Property / cites work: Knowledge, belief and time / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Q4028809
@@ Property / cites work: Q4028809 / rank @@
+Normal rank
@@ Property / cites work @@
+My beliefs about your beliefs: a case study in theory of mind and epistemic logic
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661968
@@ Property / cites work: Q4661968 / rank @@
+Normal rank
@@ Property / cites work @@
+DEL Planning and Some Tractable Cases
@@ Property / cites work: DEL Planning and Some Tractable Cases / rank @@
+Normal rank
@@ Property / cites work @@
+Refined epistemic entrenchment
@@ Property / cites work: Refined epistemic entrenchment / rank @@
+Normal rank
@@ Property / cites work @@
+Irrevocable belief revision in dynamic doxastic logic
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic for belief revision
@@ Property / cites work: Dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Systems for Knowledge and Belief
@@ Property / cites work: Systems for Knowledge and Belief / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to dynamic logic for belief revision
@@ Property / cites work: Prolegomena to dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599503
@@ Property / cites work: Q4599503 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definability of simulation and bisimulation in epistemic logic
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank