Pages that link to "Item:Q583187"
From MaRDI portal
The following pages link to Maslov's inverse method and decidable classes (Q583187):
Displaying 6 items.
- What is the inverse method? (Q908895) (← links)
- Condensed detachment is complete for relevance logic: A computer-aided proof (Q1181717) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Two decidable classes of formulas of the modal logic S5 (Q5930988) (← links)