A four-valued dynamic epistemic logic
From MaRDI portal
Publication:2228448
DOI10.1007/s10849-020-09313-8zbMath1477.03043OpenAlexW3005851148MaRDI QIDQ2228448
Publication date: 17 February 2021
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-020-09313-8
evidencemulti-agent systemsepistemic logicmany-valued logicsparaconsistent logicspublic announcements
Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items (2)
Situated epistemic updates ⋮ Relevant epistemic logic with public announcements and common knowledge
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Paraconsistent dynamics
- Dynamic logics of evidence-based beliefs
- Logics of communication and change
- Proof methods for modal and intuitionistic logics
- Belief, awareness, and limited reasoning
- Some modal logics based on a three-valued logic
- A guide to completeness and complexity for modal logics of knowledge and belief
- A note on three-valued modal logic
- Impossible possible worlds vindicated
- Possible worlds and many truth values
- Reasoning about information change
- Paraconsistent logic, evidence, and justification
- A dynamic informational-epistemic logic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Local and global operators and many-valued modal logics
- Reasoning with logical bilattices
- Bilattice logic of epistemic actions and knowledge
- Dynamic epistemic logics of diffusion and prediction in social networks
- A logic for diffusion in social networks
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Consolidation of belief in two logics of evidence
- Logics of public communications
- The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
- Terminating Tableaux for Dynamic Epistemic Logics
- Tableaux for Public Announcement Logic
- Dynamic Epistemic Logic and Knowledge Puzzles
- Many-Valued Modal Propositional Calculi
- Comparing strengths of beliefs explicitly
- Kripke Semantics for Modal Bilattice Logic
- Some Modal Logics based on a Three‐valued Logic
This page was built for publication: A four-valued dynamic epistemic logic
