Epistemic logics with structured knowledge

DOI10.1016/j.entcs.2019.07.009zbMath1433.68423OpenAlexW2969775091WikidataQ113317456 ScholiaQ113317456MaRDI QIDQ2333672

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

Publication date: 13 November 2019

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

zbMATH Keywords

dynamic epistemic logicparametric construction of logicsstructured states

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (2)

Adding proof calculi to epistemic logics with structured knowledge ⋮ Graded epistemic logic with public announcement

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings
• Importing logics
• Pure extensions, proof rules, and hybrid axiomatics
• Dynamic epistemic logic
• Probabilistic logic
• Adding a temporal dimension to a logic system
• Probabilistic dynamic epistemic logic
• First-order modal logic
• Probabilization of logics: completeness and decidability
• A family of graded epistemic logics
• Ultraproducts and possible worlds semantics in institutions
• An exercise on the generation of many-valued dynamic logics
• Hybrid Logics and NP Graph Properties
• Beyond Knowing That: A New Generation of Epistemic Logics
• A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
• Logical Foundations of Cyber-Physical Systems
• Agents that look at one another
• Asymmetric Combination of Logics is Functorial: A Survey
• Knowing Values and Public Inspection

This page was built for publication: Epistemic logics with structured knowledge