Awareness logic: a Kripke-based rendition of the Heifetz-Meier-Schipper model

DOI10.1007/978-3-030-65840-3_3OpenAlexW3127371910MaRDI QIDQ2055749

Rasmus K. Rendsvig, Gaia Belardinelli

Publication date: 1 December 2021

Full work available at URL: https://arxiv.org/abs/2012.12982

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model ⋮ Formal models of awareness

This page was built for publication: Awareness logic: a Kripke-based rendition of the Heifetz-Meier-Schipper model

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