A four-valued dynamic epistemic logic

DOI10.1007/S10849-020-09313-8zbMATH Open1477.03043OpenAlexW3005851148MaRDI QIDQ2228448FDOQ2228448

Authors: 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

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

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)

Cites Work

• Reasoning about information change
• Logics of communication and change
• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• Title not available (Why is that?)
• An introduction to non-classical logic. From if to is
• Dynamic Epistemic Logic and Knowledge Puzzles
• Intuitive semantics for first-degree entailments and `coupled trees'
• Many-Valued Modal Propositional Calculi
• Reasoning with logical bilattices
• A guide to completeness and complexity for modal logics of knowledge and belief
• Tableaux for Public Announcement Logic
• Modal logics with Belnapian truth values
• Logics of public communications
• Proof methods for modal and intuitionistic logics
• Dynamic logics of evidence-based beliefs
• The logic of justified belief change, soft evidence and defeasible knowledge
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Paraconsistent logic, evidence, and justification
• Title not available (Why is that?)
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Dynamic epistemic logics of diffusion and prediction in social networks
• A logic for diffusion in social networks
• Paraconsistent dynamics
• Some Modal Logics based on a Three‐valued Logic
• Kripke semantics for modal bilattice logic
• Some modal logics based on a three-valued logic
• Bilattice public announcement logic
• Terminating tableaux for dynamic epistemic logics
• A note on three-valued modal logic
• Possible worlds and many truth values
• Local and global operators and many-valued modal logics
• Consolidation of belief in two logics of evidence
• A dynamic informational-epistemic logic
• Bilattice logic of epistemic actions and knowledge
• Comparing strengths of beliefs explicitly

Cited In (7)

• Altenatives to Kripke semantics for epistemic logic
• A dynamic informational-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)