%0 Journal Article %1 journals/sLogica/Reynolds96 %A Reynolds, Mark %D 1996 %J Stud Logica %K dblp %N 2/3 %P 279-302 %T Axiomatising first-order temporal logic: until and since over linear time. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica57.html#Reynolds96 %V 57

@article{journals/sLogica/Reynolds96, added-at = {2021-07-02T00:00:00.000+0200}, author = {Reynolds, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2fed0329be1954572814e91f6b2930c6b/dblp}, ee = {https://doi.org/10.1007/BF00370836}, interhash = {83d30f4301e7a92d44d289dc4e169eb8}, intrahash = {fed0329be1954572814e91f6b2930c6b}, journal = {Stud Logica}, keywords = {dblp}, number = {2/3}, pages = {279-302}, timestamp = {2024-04-08T20:31:07.000+0200}, title = {Axiomatising first-order temporal logic: until and since over linear time.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica57.html#Reynolds96}, volume = 57, year = 1996 }