Pages that link to "Item:Q923072"

The following pages link to A new proof of the fixed-point theorem of provability logic (Q923072):

Displaying 12 items.

• Characters and fixed points in provability logic (Q749521) (← links)
• A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
• A note on some extension results (Q1814182) (← links)
• Syntactical models and fixed points for the basic logic of proofs (Q1924755) (← links)
• Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
• The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
• Modal frame correspondences and fixed-points (Q2433098) (← links)
• Note on some fixed point constructions in provability logic (Q2499296) (← links)
• The Henkin Sentence (Q3454817) (← links)
• (Q3770527) (← links)
• String indexes and the proofs of the KRT (Q5401965) (← links)
• An abstract look at the fixed-point theorem for provability logic (Q6612809) (← links)