The following pages link to (Q4503911):
Displayed 10 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Description Logics (Q3638996) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)