289 search results - page 4 / 58 » Regular Linear Temporal Logic |
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
78
Voted
INFORMATICALT
2007
14 years 9 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
ICLP
2001
Springer
15 years 1 months ago
2001
Springer
100
Voted
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
74
Voted
ENTCS
2006
14 years 9 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...