Graded epistemic logic with public announcement

DOI10.1016/J.JLAMP.2021.100732zbMath1491.03013OpenAlexW3216661826MaRDI QIDQ2669241

Manuel A. Martins, Alexandre Madeira, Mario R. F. Benevides

Publication date: 9 March 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100732

zbMATH Keywords

fuzzy logicepistemic logicpublic announcements

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

A tribute to José Manuel Valença

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• Standard Gödel modal logics
• A completeness theorem for Kleene algebras and the algebra of regular events
• Probabilistic dynamic epistemic logic
• Axiomatization of crisp Gödel modal logic
• A fuzzy modal logic for fuzzy transition systems
• A family of graded epistemic logics
• Epistemic logics with structured knowledge
• An exercise on the generation of many-valued dynamic logics
• A Dynamic Logic for Every Season
• Epistemic Updates on Algebras
• Epistemology Without Knowledge and Without Belief
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Reasoning about knowledge and probability
• Łukasiewicz Public Announcement Logic
• Bi-modal Godel logic over [0,1-valued Kripke frames]

This page was built for publication: Graded epistemic logic with public announcement