Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models

DOI10.1093/logcom/exv023zbMath1444.03036OpenAlexW2122295626MaRDI QIDQ5222683

Fernando Raymundo Velázquez-Quesada

Publication date: 10 July 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv023

zbMATH Keywords

languagebisimulationexpressivityepistemic logicawarenessepistemic awareness model

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (1)

Implicit, explicit and speculative knowledge

This page was built for publication: Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models