A four-valued dynamic epistemic logic (Q2228448): Difference between revisions

@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattice logic of epistemic actions and knowledge
+Normal rank
@@ Property / cites work @@
+Tableaux for Public Announcement Logic
@@ Property / cites work: Tableaux for Public Announcement Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logics of diffusion and prediction in social networks
+Normal rank
@@ Property / cites work @@
+The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
+Normal rank
@@ Property / cites work @@
+The logic of justified belief, explicit knowledge, and conclusive evidence
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic approach to paraconsistency: a logic of evidence and truth
+Normal rank
@@ Property / cites work @@
+A logic for diffusion in social networks
@@ Property / cites work: A logic for diffusion in social networks / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic, evidence, and justification
@@ Property / cites work: Paraconsistent logic, evidence, and justification / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing strengths of beliefs explicitly
@@ Property / cites work: Comparing strengths of beliefs explicitly / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent dynamics
@@ Property / cites work: Paraconsistent dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Dynamic Epistemic Logics
@@ Property / cites work: Terminating Tableaux for Dynamic Epistemic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible possible worlds vindicated
@@ Property / cites work: Impossible possible worlds vindicated / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke Semantics for Modal Bilattice Logic
@@ Property / cites work: Kripke Semantics for Modal Bilattice Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Local and global operators and many-valued modal logics
+Normal rank
@@ Property / cites work @@
+Some modal logics based on a three-valued logic
@@ Property / cites work: Some modal logics based on a three-valued logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Valued Modal Propositional Calculi
@@ Property / cites work: Many-Valued Modal Propositional Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636308
@@ Property / cites work: Q4636308 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic informational-epistemic logic
@@ Property / cites work: A dynamic informational-epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Consolidation of belief in two logics of evidence
@@ Property / cites work: Consolidation of belief in two logics of evidence / rank @@
+Normal rank
@@ Property / cites work @@
+A note on three-valued modal logic
@@ Property / cites work: A note on three-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some Modal Logics based on a Three‐valued Logic
@@ Property / cites work: Some Modal Logics based on a Three‐valued Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Possible worlds and many truth values
@@ Property / cites work: Possible worlds and many truth values / 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 Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank