Syntactical models and fixed points for the basic logic of proofs

DOI10.1007/BF01530789MaRDI QIDQ1924755zbMATH OpenOpenAlexFDO

Authors 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

Basic Logic of Proofscanonical modelsfixed pointslabelled modalitiesProvability Logic GLsyntactical models

Mathematics Subject Classification ID

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

Recommendations

• The basic intuitionistic logic of proofs
• Characters and fixed points in provability logic
• A new proof of the fixed-point theorem of provability logic
• scientific article; zbMATH DE number 515725

Cites work

• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 517064 (Why is no real title available?)
• scientific article; zbMATH DE number 515725 (Why is no real title available?)
• Provability interpretations of modal logic
• Syntactical models and fixed points for the basic logic of proofs

Cited in

(6)

• An expansion of basic logic with fixed points
• Syntactic forcing models for coherent logic
• Syntactical models and fixed points for the basic logic of proofs
• A canonical model for constant domain basic first-order logic
• On symbolic models for single-conclusion logic of proofs
• Symbolic models for single-conclusion proof logics

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

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