Normalization of terms in sharp models of logic of proofs LP

DOI10.3103/S0027132223060049MaRDI QIDQ6545378FDOQ6545378

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

• Explicit provability and constructive semantics
• Title not available (Why is that?)
• On the complexity of the reflected logic of proofs
• Justification logic. Reasoning with reasons
• Justification awareness models

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)