Pages that link to "Item:Q3103980"

The following pages link to Labelled natural deduction for a bundled branching temporal logic (Q3103980):

Displayed 5 items.

• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) ‎ (← links)
• To be fair, use bundles (Q2408744) ‎ (← links)
• A natural deduction system for bundled branching time logic (Q4583318) ‎ (← links)
• Natural deduction calculi for classical and intuitionistic S5 (Q6172068) ‎ (← links)
• Cut Elimination for Extended Sequent Calculi (Q6200474) ‎ (← links)