Bilattice logic of epistemic actions and knowledge
From MaRDI portal
Publication:1987215
DOI10.1016/j.apal.2020.102790zbMath1481.03005OpenAlexW3006305546MaRDI QIDQ1987215
Umberto Rivieccio, Zeinab Bakhtiari, Hans P. van Ditmarsch
Publication date: 14 April 2020
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2020.102790
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- On axiomatizations of public announcement logic
- Dynamic epistemic logic
- Belief, awareness, and limited reasoning
- Bilattices and the theory of truth
- Agreeing to disagree
- The value of the four values
- Reasoning about information change
- Lattice logic properly displayed
- A dynamic informational-epistemic logic
- Software tool support for modular reasoning in modal logics of actions
- Reasoning with logical bilattices
- Varieties of complex algebras
- Epistemic Updates on Algebras
- A proof-theoretic semantic analysis of dynamic epistemic logic
- Multi-type display calculus for dynamic epistemic logic
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Four-valued modal logic: Kripke semantics and duality
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Knowledge and common knowledge in a distributed environment
- Bilattices and the semantics of logic programming
- A little knowledge goes a long way
- Epistemic logic and logical omniscience: A survey
- Łukasiewicz Public Announcement Logic
- Kripke Semantics for Modal Bilattice Logic
This page was built for publication: Bilattice logic of epistemic actions and knowledge
