Pages that link to "Item:Q622627"

The following pages link to On the proof-theory of two formalisations of modal first-order logic (Q622627):

Displaying 12 items.

• On some proof theoretical properties of the modal logic GL (Q798649) (← links)
• Proof theory for functional modal logic (Q1708100) (← links)
• Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
• A short and readable proof of cut elimination for two first-order modal logics (Q2810127) (← links)
• HOL Based First-Order Modal Logic Provers (Q2870120) (← links)
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
• On two classical results in the first order logic (Q3090754) (← links)
• A first approach to abstract modal logics (Q4205420) (← links)
• (Q4263154) (← links)
• (Q4503899) (← links)
• The Succinctness of First-order Logic over Modal Logic via a Formula Size Game (Q4636046) (← links)
• On the existence of a modal-logical basis for monadic second-order logic (Q4914416) (← links)