On the sharpness and the single-conclusion property of basic justification models

DOI10.1007/978-3-319-72056-2_13zbMath1503.03030arXiv1709.01316OpenAlexW2769253221MaRDI QIDQ1709703

Vladimir Nikolaevich Krupskiĭ

Publication date: 6 April 2018

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

zbMATH Keywords

modal logicjustification logicjustification awareness modelssharpness propertysingle-conclusion property

Mathematics Subject Classification ID

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

Related Items (1)

The sharpness property of justification logic

This page was built for publication: On the sharpness and the single-conclusion property of basic justification models