On the interpretability of arithmetic in temporal logic
- 8 June 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 73 (1) , 47-60
- https://doi.org/10.1016/0304-3975(90)90161-a
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Incompleteness of first-order temporal logic with untilTheoretical Computer Science, 1988
- Concerning the semantic consequence relation in first-order temporal logicTheoretical Computer Science, 1986