133 search results - page 1 / 27 » Propositional Linear Temporal Logic and Language Homomorphis... |
LFCS
1994
Springer
13 years 9 months ago
1994
Springer
CSL
2009
Springer
14 years 4 days ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...
ICFP
2012
ACM
11 years 8 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
TIME
2007
IEEE
13 years 12 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
IANDC
2002
13 years 5 months ago
2002
