Pages that link to "Item:Q3541702"
From MaRDI portal
The following pages link to A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702):
Displayed 10 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)