A completeness result for implicit justification stit logic

DOI10.2143/LEA.243.0.3285132zbMath1477.03042arXiv1705.09119MaRDI QIDQ5197392

Grigory K. Olkhovikov

Publication date: 23 September 2019

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

zbMATH Keywords

completenesscompactnessepistemic logicjustification logicSTIT logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: A completeness result for implicit justification stit logic