Pages that link to "Item:Q4560364"
From MaRDI portal
The following pages link to Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus (Q4560364):
Displaying 5 items.
- 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)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
