A four-valued dynamic epistemic logic

DOI10.1007/S10849-020-09313-8zbMath1477.03043OpenAlexW3005851148MaRDI QIDQ2228448

Yuri David Santos

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

zbMATH Keywords

evidencemulti-agent systemsepistemic logicmany-valued logicsparaconsistent logicspublic announcements

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (3)

Situated epistemic updates ⋮ Relevant epistemic logic with public announcements and common knowledge ⋮ Altenatives to Kripke semantics for epistemic logic

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