A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

DOI10.1093/logcom/12.5.809zbMath1017.03007OpenAlexW2130719222MaRDI QIDQ4779588

Frank Wolter, Holger Sturm

Publication date: 24 August 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/55209356b36ba58044fe0993199b6fa2eab2844d

zbMATH Keywords

description logictableau calculustemporalizationquasi-models

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (2)

A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony

This page was built for publication: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case