A four-valued dynamic epistemic logic
From MaRDI portal
Publication:2228448
Recommendations
Cites work
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- A dynamic informational-epistemic logic
- A guide to completeness and complexity for modal logics of knowledge and belief
- A logic for diffusion in social networks
- A note on three-valued modal logic
- An epistemic approach to paraconsistency: a logic of evidence and truth
- An introduction to non-classical logic. From if to is
- Belief, awareness, and limited reasoning
- Bilattice logic of epistemic actions and knowledge
- Bilattice public announcement logic
- Comparing strengths of beliefs explicitly
- Consolidation of belief in two logics of evidence
- Dynamic Epistemic Logic and Knowledge Puzzles
- Dynamic epistemic logics of diffusion and prediction in social networks
- Dynamic logics of evidence-based beliefs
- Impossible possible worlds vindicated
- Intuitive semantics for first-degree entailments and `coupled trees'
- Kripke semantics for modal bilattice logic
- Local and global operators and many-valued modal logics
- Logics of communication and change
- Logics of public communications
- Many-Valued Modal Propositional Calculi
- Modal logics with Belnapian truth values
- Paraconsistent dynamics
- Paraconsistent logic, evidence, and justification
- Possible worlds and many truth values
- Proof methods for modal and intuitionistic logics
- Reasoning about information change
- Reasoning with logical bilattices
- Some Modal Logics based on a Three‐valued Logic
- Some modal logics based on a three-valued logic
- Tableaux for Public Announcement Logic
- Terminating tableaux for dynamic epistemic logics
- The logic of justified belief change, soft evidence and defeasible knowledge
- The logic of justified belief, explicit knowledge, and conclusive evidence
Cited in
(7)- A dynamic informational-epistemic logic
- Altenatives to Kripke semantics for epistemic logic
- A propositional logic with 4 values: true, false, divergent and meaningless
- Situated epistemic updates
- Attainable knowledge and omniscience
- Relevant epistemic logic with public announcements and common knowledge
- Motivation and demotivation of a four-valued logic
This page was built for publication: A four-valued dynamic epistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228448)