Pages that link to "Item:Q965900"

The following pages link to A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900):

Displaying 9 items.

• Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
• Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
• A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
• Loop-free verification of termination of derivation for a fragment of dynamic logic (Q2811594) (← links)
• A Cut-Free and Invariant-Free Sequent Calculus for PLTL (Q3608433) (← links)
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT (Q4295221) (← links)
• A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications (Q4934883) (← links)
• (Q4964729) (← links)
• (Q5202984) (← links)