Bisimulation for conditional modalities (Q1708097): Difference between revisions

@@ Property / cites work @@
+Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
+Normal rank
@@ Property / cites work @@
+Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / 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 @@
+Tracking Information
@@ Property / cites work: Tracking Information / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logics of evidence-based beliefs
@@ Property / cites work: Dynamic logics of evidence-based beliefs / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic interactive epistemology
@@ Property / cites work: Dynamic interactive epistemology / rank @@
+Normal rank
@@ Property / cites work @@
+Basic conditional logic
@@ Property / cites work: Basic conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the model theory of epistemic plausibility models
+Normal rank
@@ Property / cites work @@
+Q4636055
@@ Property / cites work: Q4636055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636291
@@ Property / cites work: Q4636291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703316
@@ Property / cites work: Q3703316 / 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 @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank