J. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles, 1968. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
TEMPORAL LOGICS OF COMPUTATIONS - Introductory course - Goranko (2000) (Correct)
On the Logic of TLA+ - Merz (2001) (Correct)
Expressive Completeness of Duration Calculus - Rabinovich (2001) (4 citations) (Correct)
The Complexity of Temporal Logic Model Checking - Schnoebelen (2003) (2 citations) (Correct)
An Infinite Hierarchy of Temporal Logics over Branching Time - Rabinovich, Maoz (Correct)
Conditional XPath, the first order complete XPath dialect - Marx (2004) (Correct)
Logical Characterization of Aperiodic Data Languages - Baclet (2003) (Correct)
Future Temporal Logic Needs in Finitely Many Modalities - Hirshfeld, Rabinovich (2003) (Correct)
Description Logics and the Two-Variable Fragment - Lutz, Sattler, Wolter (2001) (2 citations) (Correct)
BTL2 and expressive completeness for ECTL+ - Rabinovich, Schnoebelen (2000) (Correct)
Monadic Logic of Order over Naturals Has no Finite Base - Beauquier, Rabinovich (Correct)
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
The Mosaic Method for Temporal Logics - Maarten Marx Szabolcs (Correct)
Fundamenta Informaticae 62 (2004) 1--28 1 IOS Press - Logics For Real (Correct)
The Topo-Approach To Spatial Representation And Reasoning - Aiello (Correct)
Counting on CTL*: On the Expressive Power of Monadic Path Logic - Moller, Rabinovich (2003) (Correct)
On Non-local Propositional and Weak Monodic Quantified CTL* - Bauer, Hodkinson, Al. (2004) (Correct)
Past is for Free: on the Complexity of Verifying Linear Temporal.. - Markey (2004) (5 citations) (Correct)
XPath with conditional axis relations - Marx (2004) (4 citations) (Correct)
Decidable Properties of Tree Languages - Bojanczyk (2004) (Correct)
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
Syntactic Semigroups - Pin (1997) (24 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC