Syntactical models and fixed points for the basic logic of proofs

DOI10.1007/BF01530789zbMath0856.03016OpenAlexW118377376MaRDI QIDQ1924755

Tyko Straßen

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530789

zbMATH Keywords

fixed pointscanonical modelsBasic Logic of Proofslabelled modalitiesProvability Logic GLsyntactical models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (1)

Syntactical models and fixed points for the basic logic of proofs

Cites Work

• Provability interpretations of modal logic
• Syntactical models and fixed points for the basic logic of proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactical models and fixed points for the basic logic of proofs