Results 21 to 30 of about 93,973 (331)
Logics of Temporal-Epistemic Actions [PDF]
, 2014 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation.
Renne, Bryan, Sack, Joshua, Yap, Audrey
core +3 more sources
More efficient proof-search for sequents of temporal logic
Lietuvos Matematikos Rinkinys, 2022 The present paper deals with efficiency improvement of backward proof-search of sequents of propositional linear temporal logic, using a loop-type sequent calculus.
Romas Alonderis
doaj +1 more source
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Artale, A. +3 more
core +2 more sources
Cut-free Calculi and Relational Semantics for Temporal STIT Logics [PDF]
, 2019 We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as
AN Prior +19 more
core +4 more sources
Dynamic Cantor Derivative Logic [PDF]
Logical Methods in Computer Science, 2023 Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the ...
David Fernández-Duque, Yoàv Montacute
doaj +1 more source
A First-Order Complete Temporal Logic for Structured Context-Free Languages [PDF]
Logical Methods in Computer Science, 2022 The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL.
Michele Chiari +2 more
doaj +1 more source
Polynomial Algorithm of Verication for Subset of PLTL Logic
Моделирование и анализ информационных систем, 2015 In this article a polynomial algorithm is described of verification of dynamic properties of Markov chains described by formulas of a subset of temporal logic PLTL (propositional temporal logic of linear time). The algorithm allows to find probability of
P. V. Lebedev
doaj +1 more source
LTL-Specification of Counter Machines
Моделирование и анализ информационных систем, 2021 The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin
doaj +1 more source
On the Expressive Power of Some Extensions of Linear Temporal Logic
Моделирование и анализ информационных систем, 2018 One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a finite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions.
Anton Gnatenko, Vladimir Zakharov
doaj +1 more source
Grounding Stream Reasoning Research [PDF]
Transactions on Graph Data and KnowledgeIn the last decade, there has been a growing interest in applying AI technologies to implement complex data analytics over data streams. To this end, researchers in various fields have been organising a yearly event called the "Stream Reasoning Workshop"
Bonte, Pieter +14 more
doaj +1 more source