Browsing Bergen Open Research Archive by Journals "ACM Transactions on Computational Logic"
Now showing items 1-2 of 2
-
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
(Journal article; Peer reviewed, 2024)Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) ... -
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
(Journal article; Peer reviewed, 2023)The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explicit definition exists iff a formula stating ...