Pages that link to "Item:Q5902049"
From MaRDI portal
The following pages link to Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049):
Displaying 6 items.
- A new methodology for developing deduction methods (Q1037405) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving (Q6108819) (← links)