Temporal logic with reference pointers
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 133-148
- https://doi.org/10.1007/bfb0013985
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Modal logic with namesJournal of Philosophical Logic, 1993
- An Axiomatization of the Temporal Logic with Until and Since over the Real NumbersJournal of Logic and Computation, 1990
- Basic Tense LogicPublished by Springer Nature ,1984
- The Logic of TimePublished by Springer Nature ,1983
- Axioms for tense logic. I. ``Since'' and ``until''.Notre Dame Journal of Formal Logic, 1982
- Expressive Functional Completeness in Tense Logic (Preliminary report)Published by Springer Nature ,1981
- An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense FramesPublished by Springer Nature ,1981
- To the memory of Arthur Prior Formal properties of ‘now’Theoria, 1971
- An approach to tense logic1Theoria, 1970
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967