scientific article; zbMATH DE number 1507191
From MaRDI portal
Publication:4503911
zbMath0955.03018MaRDI QIDQ4503911
Ullrich Hustadt, Renate A. Schmidt
Publication date: 14 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (12)
Simulation and Synthesis of Deduction Calculi ⋮ Hyperresolution for guarded formulae ⋮ Deciding expressive description logics in the framework of resolution ⋮ Individual Reuse in Description Logic Reasoning ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Using tableau to decide description logics with full role negation and identity ⋮ First-Order Resolution Methods for Modal Logics ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Description Logics ⋮ A new methodology for developing deduction methods ⋮ 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
This page was built for publication: