Results 81 to 90 of about 1,696,138 (202)
CoRR, 2019 In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers. We investigate quantum temporal logic, QTL, for the specification of quantum concurrent systems by suggesting the time-dependence of events.
openaire +2 more sources
CoRR, 2013 A new logic for verification of security policies is proposed. The logic, HyperLTL, extends linear-time temporal logic (LTL) with connectives for explicit and simultaneous quantification over multiple execution paths, thereby enabling HyperLTL to express information-flow security policies that LTL cannot.
Masoud Koleini +2 more
openaire +3 more sources
Logics of temporal-epistemic actions [PDF]
Synthese, 2015 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known "action models" from Dynamic Epistemic Logic.
Bryan Renne, Joshua Sack, Audrey Yap
openaire +7 more sources
, 2008 The article studies multi-modal (in particular temporal, tense, logics) possessing universal formulas. We prove (Theorems 11 and 12) that the admissibility problem for inference rules (inference rules with parameters) is decidable for all decidable multi-
Vladimir V. Rybakov (23980086)
core +2 more sources
Temporal description logics: a survey
, 2008 We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding ...
Carsten Lutz +5 more
core +1 more source
Making Agents’ Abilities Explicit
IEEE Access, 2019 Alternating-time temporal logics (ATL/ATL*) represent a family of modal and temporal logics for reasoning about strategic abilities of agents in multiagent systems.
Yedi Zhang, Fu Song, Taolue Chen
doaj +1 more source
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Bridges between Dynamic Doxastic and Doxastic Temporal Logics
, 2010 This paper builds bridges between the two main families of modal logics of belief change, both based on plausibility pre-orders: dynamic doxastic logics computing stepwise updates, and temporal doxastic logics describing global system evolutions ...
van Benthem, J. +3 more
core +1 more source
Journal of Symbolic Computation, 1989 To exploit efficient temporal proof techniques, a special programming language, TEMPLOG, is proposed. It extends the classical PROLOG-like languages to include temporal operators. TEMPLOG programs will then be collections of ``temporal'' Horn clauses and, the main idea, they will be interpreted with the help of ``temporal'' SLD-resolution.
Martín Abadi, Zohar Manna
openaire +2 more sources
Decidability of Interval Temporal Logics over Split-Frames via Granularity
, 2002 . Logics for time intervals provide a natural framework for representing and reasoning about timing properties in various areas of artificial intelligence and computer science.
Guido Sciavicco +10 more
core +1 more source