An axiomatization for until and since over the reals without the IRR rule
- 1 January 1992
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 51 (2) , 165-193
- https://doi.org/10.1007/bf00370112
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A complete deductive-system for since-until branching-time logicJournal of Philosophical Logic, 1991
- An Axiomatization of the Temporal Logic with Until and Since over the Real NumbersJournal of Logic and Computation, 1990
- The domino relation: Flattening a two-dimensional logicJournal of Philosophical Logic, 1989
- Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.Notre Dame Journal of Formal Logic, 1989
- The decision problem for linear temporal logic.Notre Dame Journal of Formal Logic, 1985
- Axioms for tense logic. I. ``Since'' and ``until''.Notre Dame Journal of Formal Logic, 1982
- An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense FramesPublished by Springer Nature ,1981
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980