A four-valued dynamic epistemic logic

DOI10.1007/S10849-020-09313-8MaRDI QIDQ2228448zbMATH OpenOpenAlexFDO

Authors Yuri David Santos

Publication date 17 February 2021

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• A dynamic informational-epistemic logic
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Dynamic epistemic logic
• The dynamic epistemic logic for actual knowledge
• Dynamic logics for explicit and implicit information

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)