Pages that link to "Item:Q2343897"

The following pages link to Circular proofs for the Gödel-Löb provability logic (Q2343897):

Displaying 9 items.

• On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• Interpolation properties for Sacchetti's logics (Q2097057) (← links)
• Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
• Cyclic hypersequent calculi for some modal logics with the master modality (Q2142089) (← links)
• A realization theorem for the Gödel-Löb provability logic (Q2957859) (← links)
• NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
• (Q5119390) (← links)