Dynamic Epistemic Logic as a Substructural Logic (Q5249692): Difference between revisions

@@ Property / cites work @@
+Intelligent Agents and Multi-Agent Systems
@@ Property / cites work: Intelligent Agents and Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency Preservation and Crazy Formulas in BMS
+Normal rank
@@ Property / cites work @@
+DEL-sequents for progression
@@ Property / cites work: DEL-sequents for progression / rank @@
+Normal rank
@@ Property / cites work @@
+DEL-sequents for regression and epistemic planning
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic in update logic
@@ Property / cites work: Dynamic epistemic logic in update logic / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the Power of Converse Events
@@ Property / cites work: Exploring the Power of Converse Events / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized DEL-Sequents
@@ Property / cites work: Generalized DEL-Sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848068
@@ Property / cites work: Q2848068 / rank @@
+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 @@
+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 @@
+Q4599502
@@ Property / cites work: Q4599502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ternary relation and conditionality
@@ Property / cites work: On the ternary relation and conditionality / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Pluralism
@@ Property / cites work: Logical Pluralism / rank @@
+Normal rank
@@ Property / cites work @@
+GENERAL DYNAMICS
@@ Property / cites work: GENERAL DYNAMICS / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789452
@@ Property / cites work: Q4789452 / 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 @@
+Q3510437
@@ Property / cites work: Q3510437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629247
@@ Property / cites work: Q3629247 / 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 @@
+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 @@
+Quick completeness proofs for some logics of conditionals
+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 @@
+From Situation Calculus to Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 7
@@ Property / cites work: Handbook of philosophical logic. Vol. 7 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843185
@@ Property / cites work: Q4843185 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287486
@@ Property / cites work: Q4287486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715109
@@ Property / cites work: Q5715109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260400
@@ Property / cites work: Q4260400 / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant logic and the theory of information
@@ Property / cites work: Relevant logic and the theory of information / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532199
@@ Property / cites work: Q4532199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3068330
@@ Property / cites work: Q3068330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789444
@@ Property / cites work: Q4789444 / rank @@
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691522
@@ Property / cites work: Q5691522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. II
@@ Property / cites work: The semantics of entailment. II / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of weak implication
@@ Property / cites work: Completeness of weak implication / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank