Pages that link to "Item:Q1150597"

The following pages link to A modal sequent calculus for a fragment of arithmetic (Q1150597):

Displaying 11 items.

• On the proof-theory of two formalisations of modal first-order logic (Q622627) (← links)
• The bounded proof property via step algebras and step frames (Q741087) (← links)
• Modal tableau calculi and interpolation (Q798647) (← links)
• On some proof theoretical properties of the modal logic GL (Q798649) (← links)
• The modal logic of provability. The sequential approach (Q1056745) (← links)
• Algebraic and relational semantics for tense logics (Q1162503) (← links)
• Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
• A realization theorem for the Gödel-Löb provability logic (Q2957859) (← links)
• Meeting of the Association for Symbolic Logic Florence, Italy 1982 (Q3686697) (← links)
• On modal systems having arithmetical interpretations (Q3714054) (← links)