Skip to Main content Skip to Navigation
Journal articles

Concrete domains in logics: a survey

Abstract : In this short survey, we present logical formalisms in which reasoning about concrete domains is embedded in formulae at the atomic level. These include temporal logics with concrete domains, description logics with concrete domains as well as variant formalisms. We discuss several proof techniques to solve logical decision problems for such formalisms, including those based on constrained automata or on translation into decidable second-order logics. We also present recent results mainly related to decidability and complexity as well as a selection of open problems.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03313291
Contributor : Stéphane Demri <>
Submitted on : Wednesday, August 4, 2021 - 8:10:04 AM
Last modification on : Sunday, August 8, 2021 - 8:37:46 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

Stéphane Demri, Karin Quaas. Concrete domains in logics: a survey. ACM SIGLOG News, ACM, 2021, 8 (3), pp.6-29. ⟨10.1145/3477986.3477988⟩. ⟨hal-03313291⟩

Share

Metrics

Record views

103

Files downloads

39