Definitions and (uniform) interpolants in first-order modal logic
We first consider two decidable fragments of quantified modal logic S5: the one-variable
fragment and its extension S5ALC that combines S5 and the description logic ALC with the …
fragment and its extension S5ALC that combines S5 and the description logic ALC with the …
[PDF][PDF] Non-rigid designators in epistemic and temporal free description logics
A Artale, A Mazzullo - Description Logics, 2023 - ceur-ws.org
Definite descriptions, along with individual names, have been recently introduced in the
context of description logic languages, enriching the expressivity of standard nominal …
context of description logic languages, enriching the expressivity of standard nominal …
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies
We provide an overview of the main attempts to formalize and reason about the evolution
over time of complex domains, through the lens of first-order temporal logics. Different …
over time of complex domains, through the lens of first-order temporal logics. Different …
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version)
A Artale, A Mazzullo - arXiv preprint arXiv:2308.08640, 2023 - arxiv.org
Definite descriptions, such as' the smallest planet in the Solar System', have been recently
recognised as semantically transparent devices for object identification in knowledge …
recognised as semantically transparent devices for object identification in knowledge …