A family of graded epistemic logics

DOI10.1016/j.entcs.2018.10.004zbMath1433.68416OpenAlexW2893169617WikidataQ113317511 ScholiaQ113317511MaRDI QIDQ2333311

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

Publication date: 12 November 2019

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.10.004

zbMATH Keywords

epistemic logicmodal logicsaction lattice

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (4)

Adding proof calculi to epistemic logics with structured knowledge ⋮ Graded epistemic logic with public announcement ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ Epistemic logics with structured knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Lattice-valued simulations for quantitative transition systems
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• Dynamic epistemic logic
• On the structure of hoops
• An exercise on the generation of many-valued dynamic logics
• A Dynamic Logic for Every Season
• Epistemic Updates on Algebras
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Epistemic Updates on Bilattices
• Reasoning about knowledge and probability

This page was built for publication: A family of graded epistemic logics