Publication:4503911
From MaRDI portal
zbMath0955.03018MaRDI QIDQ4503911
Renate A. Schmidt, Ullrich Hustadt
Publication date: 14 September 2000
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items
First-Order Resolution Methods for Modal Logics, Using tableau to decide description logics with full role negation and identity, 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 Relations, Existential second-order logic and modal logic with quantified accessibility relations, Deciding expressive description logics in the framework of resolution, A new methodology for developing deduction methods, Hyperresolution for guarded formulae, Simulation and Synthesis of Deduction Calculi, Individual Reuse in Description Logic Reasoning, Description Logics