Bilattice logic of epistemic actions and knowledge
type: Item
instance of: scholarly article
title: Bilattice logic of epistemic actions and knowledge
zbMATH Open document ID: 1481.03005
author: Zeinab Bakhtiari
author: Umberto Rivieccio
author: Hans van Ditmarsch
published in: Annals of Pure and Applied Logic
publication date: 2020-04-14T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7189162
zbMATH Keywords: dynamic epistemic logic
zbMATH Keywords: bilattices
zbMATH Keywords: modal logic
zbMATH Keywords: algebraic models
zbMATH Keywords: duality
MaRDI profile type: Publication
full work available at URL: j.apal.2020.102790
OpenAlex ID: W3006305546
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Agreeing to disagree
cites work: Software tool support for modular reasoning in modal logics of actions
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: Q3858244
cites work: On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
cites work: Łukasiewicz Public Announcement Logic
cites work: Q3128959
cites work: Q4692605
cites work: Belief, awareness, and limited reasoning
cites work: Bilattices and the theory of truth
cites work: Bilattices and the semantics of logic programming
cites work: Q3989936
cites work: Q4022223
cites work: Q3604278
cites work: A proof-theoretic semantic analysis of dynamic epistemic logic
cites work: Multi-type display calculus for dynamic epistemic logic
cites work: Reasoning about information change
cites work: Varieties of complex algebras
cites work: Lattice logic properly displayed
cites work: Q4331781
cites work: Knowledge and common knowledge in a distributed environment
cites work: A little knowledge goes a long way
cites work: Kripke Semantics for Modal Bilattice Logic
cites work: Epistemic updates on algebras
cites work: Algebraic semantics and model completeness for intuitionistic public announcement logic
cites work: Q4578043
cites work: Q2901198
cites work: Q4636308
cites work: Four-valued modal logic: Kripke semantics and duality
cites work: A dynamic informational-epistemic logic
cites work: Epistemic logic and logical omniscience: A survey
cites work: Dynamic epistemic logic
cites work: On axiomatizations of public announcement logic
DOI: 10.1016/J.APAL.2020.102790
description: scientific article; zbMATH DE number 7189162