Pages that link to "Item:Q5892517"
From MaRDI portal
The following pages link to Automated Synthesis of Tableau Calculi (Q5892517):
Displayed 7 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)