Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-69937-8_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2123995701
@@ Property / OpenAlex ID: W2123995701 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+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 @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / 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 @@
+Q3574475
@@ Property / cites work: Q3574475 / rank @@
+Normal rank
@@ Property / cites work @@
+Operating systems. An advanced course
@@ Property / cites work: Operating systems. An advanced course / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337453
@@ Property / cites work: Q3337453 / rank @@
+Normal rank