Adding a temporal dimension to a logic system
- 1 January 1992
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 1 (3) , 203-233
- https://doi.org/10.1007/bf00156915
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An axiomatization for until and since over the reals without the IRR ruleStudia Logica, 1992
- Handling database updates in two-dimensional temporal logicJournal of Applied Non-Classical Logics, 1992
- Properties of independently axiomatizable bimodal logicsThe Journal of Symbolic Logic, 1991
- An Axiomatization of the Temporal Logic with Until and Since over the Real NumbersJournal of Logic and Computation, 1990
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- Quantification in Modal LogicPublished by Springer Nature ,1984
- Combinations of Tense and ModalityPublished by Springer Nature ,1984
- 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