Justification announcements in discrete time. Part II: Frame definability results

DOI10.1093/JIGPAL/JZY074zbMath1494.03040arXiv1708.06295OpenAlexW2963289905MaRDI QIDQ5241923

Grigory K. Olkhovikov

Publication date: 4 November 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

stit logicjustification logicstrong completenessframe definabilitylogic of actions

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

This page was built for publication: Justification announcements in discrete time. Part II: Frame definability results