Publication | Closed Access
Temporal Description Logics: A Survey
212
Citations
30
References
2008
Year
Unknown Venue
EngineeringSatisfiability ProblemVerificationComputational ComplexitySemanticsFormal VerificationTemporal LogicTimed SystemTemporal ReasoningTemporal Description LogicsComputer ScienceDescription LogicsTemporal DatabaseAutomated ReasoningPropositional LogicDescription LogicStandard Temporal LogicsFormal MethodsDynamic Logic
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.
| Year | Citations | |
|---|---|---|
Page 1
Page 1