Logic of Proofs and Labels with a Complete Set of Operations

DOI10.1093/LOGCOM/EXL032zbMath1122.03059OpenAlexW1995015365MaRDI QIDQ3431970

Tatiana Yavorskaya

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/exl032

zbMATH Keywords

modal logicprovability logiclogic of proofsjustification logic

Mathematics Subject Classification ID

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

Related Items (2)

Logic of proofs with substitution ⋮ THE LOGIC OF JUSTIFICATION

This page was built for publication: Logic of Proofs and Labels with a Complete Set of Operations