Normalization of terms in sharp models of logic of proofs LP

DOI10.3103/S0027132223060049MaRDI QIDQ6545378zbMATH OpenFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 29 May 2024

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

epistemic logiclogic of proofssharpnessproof polynomialbasic justification model

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• Explicit provability and constructive semantics
• Justification awareness models
• Justification logic. Reasoning with reasons
• On the complexity of the reflected logic of proofs

This page was built for publication: Normalization of terms in sharp models of logic of proofs LP

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