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 …
[PDF][PDF] An Update on Non-Rigid Designators in Modalised Description Logics
We investigate decidability and complexity of the satisfaction problem for modal free
description logics with non-rigid designators, which have recently been introduced as a …
description logics with non-rigid designators, which have recently been introduced as a …