Filters








7,674 Hits in 6.9 sec

Page 4441 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
general linear time are analyzed in Chapter 11.  ...  Chapter 6 presents a general theory of axiomatization for propositional tem- poral logic. A survey on the technical aspects of many-dimensional temporal logics is provided in Chapter 7.  ... 

Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D [chapter]

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
2001 Lecture Notes in Computer Science  
Outline of talk Most propositional temporal logics are decidable. But the decision problem in predicate (first-order) temporal logics has seemed near-hopeless.  ...  Again, this gives a different notion of validity (stronger -more validities). 8 Propositional temporal logic: good news Most propositional temporal logics are quite well behaved: Over linear time: •  ...  They give us a new direction of research, new problems, but also new hope of • understanding temporal logic better, • using temporal logic in more advanced applications. 22 valid over a flow of time T  ... 
doi:10.1007/3-540-45653-8_1 fatcat:pqavraufgva2vl6icvm7om6yby

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic [chapter]

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
2019 Lecture Notes in Computer Science  
In this paper we propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic  ...  Our topological semantics features a new interpretation for the 'henceforth' modality that is a natural intuitionistic variant of the classical one.  ...  for the language of linear temporal logic.  ... 
doi:10.1007/978-3-030-19570-0_49 fatcat:bsx7jvjd6jhnbi2m3ir5yofagy

Page 2969 of Mathematical Reviews Vol. , Issue 99e [page]

1999 Mathematical Reviews  
Seldin (Montreal, PQ) 99e:03016 03B45 68127 Heinemann, Bernhard (D-HGN; Hagen) A topological generalization of propositional linear time temporal logic.  ...  The underlying logical language could be suitable for the specification of linear time properties of programs involving knowledge.  ... 

Quantum temporal logic and decoherence functionals in the histories approach to generalized quantum theory

C. J. Isham, N. Linden
1994 Journal of Mathematical Physics  
We analyse and develop the recent suggestion that a temporal form of quantum logic provides the natural mathematical framework within which to discuss the proposal by Gell-Mann and Hartle for a generalised  ...  Particular stress is placed on properties of the space of decoherence functionals, including one way in which certain global and topological properties of a classical system are reflected in a quantum  ...  We are both grateful to the staff of the Isaac Newton Institute for providing such a stimulating working environment.  ... 
doi:10.1063/1.530759 fatcat:gb73fgdagzaqvbbaoijkjuowsu

Exploring the Jungle of Intuitionistic Temporal Logics [article]

Joseph Boudou and Martín Diéguez and David Fernández-Duque and Philip Kremer
2021 arXiv   pre-print
In this paper we consider several axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic  ...  Our topological semantics features a new interpretation for the 'henceforth' modality that is a natural intuitionistic variant of the classical one.  ...  They will be based on the language of linear temporal logic, as defined next. Fix a countably infinite set P of propositional variables.  ... 
arXiv:1912.12895v2 fatcat:u7472fnk3nhgnjfvj4xwhlrgg4

Intuitionistic LTL and a New Characterization of Safety and Liveness [chapter]

Patrick Maier
2004 Lecture Notes in Computer Science  
Classical linear-time temporal logic (LTL) is capable of specifying of and reasoning about infinite behaviors only.  ...  In particular, ILTL admits an elegant logical characterization of safety and liveness properties. Keywords Linear-time temporal logic, intuitionistic logic, safety and liveness properties.  ...  Thanks to an anonymous reviewer for directing our attention to the connection between intuitionistic safety/liveness and the Scott topology on strings.  ... 
doi:10.1007/978-3-540-30124-0_24 fatcat:hyxxymr6yvdmrgphbzlbezmkbq

Page 5145 of Mathematical Reviews Vol. , Issue 2004g [page]

2004 Mathematical Reviews  
Study of a propositional calculus with temporal logic. (Spanish. Spanish summary) Bol. Mat. (N.S.) 9 (2002), no. 2, 53-66.  ...  Summary: “In this paper a proof system for branching time tem- poral logic, called PTL, is introduced.  ... 

Page 7147 of Mathematical Reviews Vol. , Issue 95m [page]

1995 Mathematical Reviews  
for general linear time which may have ‘gaps’ in it.  ...  In this note we give one possible formulation of a constraint tableau system for one of the simplest propositional temporal logics, namely for discrete linear temporal logics with (future) always and sometimes  ... 

Page 8462 of Mathematical Reviews Vol. , Issue 2004k [page]

2004 Mathematical Reviews  
Coalgebraic modal logic is a generalization of basic propositional modal logic and allows one to reason about states of coalgebras for an endofunctor on the category of sets.  ...  Summary: “The paper is devoted to the concise description of a natural deduction system for linear temporal logic. The system’s distinctive feature is that it is labelled and analytical.  ... 

Page 494 of Mathematical Reviews Vol. , Issue 98A [page]

1998 Mathematical Reviews  
Pnueli [The temporal logic of reactive and con- current systems, Springer, New York, 1992; MR 93e:68073], for the following reasons: (i) Linear-time temporal logics, including LTL and TLA, have proven  ...  Summary: “A propositional temporal logic is briefly introduced and its use for specification of reactive systems is motivated and illustrated.  ... 

Logics for hybrid systems

J.M. Davoren, A. Nerode
2000 Proceedings of the IEEE  
This paper offers a synthetic overview of, and original contributions to, the use of logics and formal methods in the analysis of hybrid systems.  ...  The high-profile and safety-critical nature of the application areas has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods  ...  ACKNOWLEDGMENT The authors' view of hybrid systems and logics for reasoning about them has benefited from fruitful conversations and exchanges with many people; in particular, they would like to thank  ... 
doi:10.1109/5.871305 fatcat:vsxl3q7h6rfcvbtxy4mmfnc7oi

A Complete Temporal and Spatial Logic for Distributed Systems [chapter]

Dirk Pattinson, Bernhard Reus
2005 Lecture Notes in Computer Science  
The logic is a combination of an extension of hybrid logic, that allows us to reason about the spatial structure of a computation, and linear temporal logic, which accounts for the temporal aspects.  ...  Our main technical contribution is completeness of the logic both with respect to spatial/temporal structures and a class of spatial transition systems.  ...  Linear Temporal Logic (A reminder) Before we introduce LSTL, let us briefly re-capitulate the syntax and semantics of propositional linear temporal logic.  ... 
doi:10.1007/11559306_7 fatcat:jtcnl6cffnhqrejazcm4uetflm

Temporal Logics over Transitive States [chapter]

Boris Konev, Frank Wolter, Michael Zakharyaschev
2005 Lecture Notes in Computer Science  
We investigate the computational behaviour of 'two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator Ä) that are capable of reasoning about states with transitive  ...  In fact, in temporal knowledge bases (say, temporal description logics), more sophisticated spatio-temporal formalisms, in particular, dynamic topological logics (designed for reasoning about safety and  ...  We are grateful to A. Bovykin, Ph. Schnoebelen, and the members of the London Logic Forum for stimulating discussions, comments and suggestions. The work on this paper was partially supported by U.K.  ... 
doi:10.1007/11532231_14 fatcat:bjvs534zkzc2ff2nyu2zj4k5cq

Spatio-Temporal Specification Language for Cyber-Physical Systems [chapter]

Tengfei Li
2019 Lecture Notes in Computer Science  
We propose a spatio-temporal specification language, named STSL, which integrates Signal Temporal Logic (STL) with a spatial logic S4u to deal with the changes of real values spatial entities in dense  ...  Specifying spatio-temporal aspects with changes of spatial entities in dense time is one of the important areas in cyber-physical systems.  ...  Formally, a spatio-temporal model M = (T, L, V), where -T is a pair (T, <), where T is a set of time point and < an irreflexive, transitive and asymmetric relation on T with a linear strict time flow,  ... 
doi:10.1007/978-3-030-32409-4_36 fatcat:w2po4u4enreqhkgcxttcvgjxqi
« Previous Showing results 1 — 15 out of 7,674 results