Axioms for tense logic. I. ``Since'' and ``until''.
Burgess, John P.
Notre Dame J. Formal Logic, Tome 23 (1982) no. 3, p. 367-374 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1982-10-14
Classification:  03B45 
@article{1093870149,
     author = {Burgess, John P.},
     title = {Axioms for tense logic. I. ``Since'' and ``until''.},
     journal = {Notre Dame J. Formal Logic},
     volume = {23},
     number = {3},
     year = {1982},
     pages = { 367-374},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093870149}
}

Burgess, John P. Axioms for tense logic. I. ``Since'' and ``until''.. Notre Dame J. Formal Logic, Tome 23 (1982) no. 3, pp.  367-374. http://gdmltest.u-ga.fr/item/1093870149/