Pages that link to "Item:Q4645239"
From MaRDI portal
The following pages link to Efficient loop-check for backward proof search in some non-classical propositional logics (Q4645239):
Displaying 17 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- Two loop detection mechanisms: A comparison (Q4610326) (← links)
- The Tableau Workbench (Q4982114) (← links)
- (Q4993609) (← links)
- (Q5015285) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Cut elimination by unthreading (Q6139240) (← links)
