The following pages link to (Q3496314):
Displaying 16 items.
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Temporal prepositions and their logic (Q2457655) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- (Q4938871) (← links)
- A derivation-loop method for temporal logic (Q5040806) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
