Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

Ed Zalta (ed.), Stanford Encyclopedia of Philosophy - PhilPapers Sign in | Create an account
PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax Advanced …

Time, as a phenomenon, has been in the focus of scientific thought from ancient times. It
continues to be an important subject of research in many disciplines due to its importance as …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

Abstract Model checking is a powerful method widely explored in formal verification. Given a
model of a system, eg, a Kripke structure, and a formula specifying its expected behaviour …

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval
temporal logic depending on the type (box or diamond) of the interval modal operators, the …

Recently we established an analog of Gabbay's separation theorem about linear temporal
logic (LTL) for the extension of Moszkowski's discrete time propositional Interval Temporal …

Interval temporal logics take time intervals, instead of time points, as their primitive temporal
entities. One of the most studied interval temporal logics is Halpern and Shoham's modal …

Interval logics are very expressive temporal formalisms, but reasoning with them is often
undecidable or has high computational complexity. As a result, a vast number of approaches …

In this paper, we investigate the finite satisfiability and model checking problems for the logic
D of the sub-interval relation under the homogeneity assumption, that constrains a …