Epistemic logics with structured knowledge

DOI10.1016/J.ENTCS.2019.07.009MaRDI QIDQ2333672zbMATH OpenOpenAlexWikidataFDO

Authors Alexandre Madeira, Manuel A. Martins, Mario 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

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

Recommendations

• Adding proof calculi to epistemic logics with structured knowledge
• scientific article; zbMATH DE number 1537935
• The dynamic epistemic logic for actual knowledge
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Dynamic epistemic logics

Cites work

• A family of graded epistemic logics
• A poor man's epistemic logic based on propositional assignment and higher-order observation
• Adding a temporal dimension to a logic system
• Agents that look at one another
• Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings
• An exercise on the generation of many-valued dynamic logics
• Asymmetric combination of logics is functorial: a survey
• Beyond knowing that: a new generation of epistemic logics
• Dynamic epistemic logic
• First-order modal logic
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1418362 (Why is no real title available?)
• scientific article; zbMATH DE number 2196587 (Why is no real title available?)
• Hybrid logics and NP graph properties
• Importing logics
• Knowing values and public inspection
• Logical foundations of cyber-physical systems
• Probabilistic dynamic epistemic logic
• Probabilistic logic
• Probabilization of logics: completeness and decidability
• Pure extensions, proof rules, and hybrid axiomatics
• Ultraproducts and possible worlds semantics in institutions

Cited in

(14)

• Epistemic properties of knowledge hierarchies
• Adding proof calculi to epistemic logics with structured knowledge
• A family of graded epistemic logics
• Graded epistemic logic with public announcement
• A poor man's epistemic logic based on propositional assignment and higher-order observation
• scientific article; zbMATH DE number 7361815 (Why is no real title available?)
• Epistemic logics over weighted graphs
• A substructural epistemic resource logic: theory and modelling applications
• Structures for epistemic logic
• Computational Logic in Multi-Agent Systems
• Epistemic Logics of Structured Intensional Groups
• Logics for knowability
• On the contingency of logic in possible world semantics
• Modality across different logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2333672)