On sharp and single-conclusion justification models

DOI10.1093/LOGCOM/EXAA074MaRDI QIDQ5028313zbMATH OpenOpenAlexFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

justification awareness modelsjustification logicmodal logicsharpness propertysingle-conclusion property

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Mathai-Quillen formalism -- From the point of view of path integrals
• scientific article; zbMATH DE number 4007308
• The heat kernel in low-dimensional quantum theories
• scientific article; zbMATH DE number 1304612
• The Atiyah-Singer index theorem and applications

Cited in

(6)

• Justification awareness models
• On the sharpness and the single-conclusion property of basic justification models
• Dirac operators -- from differential calculus to the index theorem
• Justification awareness
• Chair of Mathematical Logic and Theory of Algorithms
• The sharpness property of justification logic

This page was built for publication: On sharp and single-conclusion justification models

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