A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
From MaRDI portal
Publication:3541702
DOI10.1007/978-3-540-71070-7_17zbMath1165.03319OpenAlexW2150137870MaRDI QIDQ3541702
Dmitry Tishkovsky, Renate A. Schmidt
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_17
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
A bi-intuitionistic modal logic: foundations and automation ⋮ A Tableau Method for Checking Rule Admissibility in S4 ⋮ Simulation and Synthesis of Deduction Calculi ⋮ A description logic based situation calculus ⋮ Capturing equilibrium models in modal logic ⋮ Using tableau to decide description logics with full role negation and identity ⋮ Unification in linear temporal logic LTL ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ A new methodology for developing deduction methods ⋮ A goal-directed decision procedure for hybrid PDL
This page was built for publication: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments