Open AccessA Tableau Calculus for Temporal Description Logic: The Constant Domain Case.
Author(s) -
Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev
Publication year - 2001
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.111
Subject(s) - decidability , satisfiability , temporal logic , linear temporal logic , constant (computer programming) , interval temporal logic , computation tree logic , computer science , description logic , algorithm , boolean satisfiability problem , fragment (logic) , domain (mathematical analysis) , mathematics , calculus (dental) , theoretical computer science , programming language , medicine , dentistry , mathematical analysis