DEL-sequents for progression (Q5891665): Difference between revisions

@@ Property / OpenAlex ID @@
+W2046498902
@@ Property / OpenAlex ID: W2046498902 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Interpreting an action from what we perceive and what we expect
+Normal rank
@@ Property / cites work @@
+Tableau Method and NEXPTIME-Completeness of DEL-Sequents
+Normal rank
@@ Property / cites work @@
+Epistemic Actions as Resources
@@ Property / cites work: Epistemic Actions as Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
+Normal rank
@@ Property / cites work @@
+Probabilistic dynamic belief revision
@@ Property / cites work: Probabilistic dynamic belief revision / 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 @@
+McCarthy variations in a modal key
@@ Property / cites work: McCarthy variations in a modal key / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic update with probabilities
@@ Property / cites work: Dynamic update with probabilities / 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 @@
+Prolegomena to dynamic logic for belief revision
@@ Property / cites work: Prolegomena to dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+From Situation Calculus to Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+Church's Problem Revisited
@@ Property / cites work: Church's Problem Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Finite models constructed from canonical formulas
@@ Property / cites work: Finite models constructed from canonical formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank