Reference Constructions in the Single-conclusion Proof Logic

DOI10.1093/logcom/exl028zbMath1118.03057OpenAlexW2078766035MaRDI QIDQ3431965

Vladimir Nikolaevich Krupskiĭ

Publication date: 13 April 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

proof theoryreferenceunificationexplicit modal logicproof termsingle conclusion logic of proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Decidability for some justification logics with negative introspection

This page was built for publication: Reference Constructions in the Single-conclusion Proof Logic