A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments

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

Mathematics Subject Classification ID

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