Expressivity Hierarchy of Languages for Epistemic Awareness Models

DOI10.1007/978-3-642-40948-6_20MaRDI QIDQ2859110zbMATH OpenOpenAlexFDO

Authors Fernando Raymundo Velázquez-Quesada

Publication date 6 November 2013

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40948-6_20

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
• scientific article; zbMATH DE number 6606365
• The language of epistemic specifications (refined) including a prototype solver
• Towards Syntactic Epistemic Logic
• Expressive power of knowledge representation systems
• scientific article; zbMATH DE number 6787681
• Modeling rationality in a linguistic framework
• The complexity of concept languages
• scientific article; zbMATH DE number 140381
• Verification of conceptual models based on linguistic knowledge

Cited in

(3)

• Implicit, explicit and speculative knowledge
• Semantics for knowledge and change of awareness
• Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models

This page was built for publication: Expressivity Hierarchy of Languages for Epistemic Awareness Models

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