| Temporal Logics in Computer Science — Finite-State Systems |
Stéphane Demri |
Kamal Lodaya |
The Bulletin of Symbolic Logic |
2017-06-00 |
| Temporal Logic and State Systems |
Fred Kröger |
Valentin Goranko |
Studia Logica |
2010-04-01 |
| Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 |
Dov M Gabbay |
Ulrich Hustadt |
Journal of Logic, Language and Information |
2001-06-01 |
| From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol |
Øhrstrøm Peter and Hasle Per F. V.. Temporal logic |
Angelo Montanari |
The Journal of Symbolic Logic |
1997 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874 |
Johan van Benthem |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1992 |
| Temporal logics and their applications |
Antony Galton |
Luis Fariñas del Cerro |
The Journal of Symbolic Logic |
1990 |
| Executing temporal logic programs |
B. C. Moszkowski |
Joseph Y. Halpern |
The Journal of Symbolic Logic |
1988 |
| Executing temporal logic programs |
B. C. Moszkowski |
Tung Shih Ping |
The Journal of Symbolic Logic |
1988 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse |
J. F. A. K. van Benthem |
Daniele Mundici |
The Journal of Symbolic Logic |
1987 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse |
J F A K Van Benthem |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1987 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse |
J. F. A. K. Benthem |
Drew Christie |
The Review of Metaphysics |
1985-06-00 |
| Jikan no ronri (Temporal logic) |
Takeo Sugihara |
Tsutomu Hosoi |
The Journal of Symbolic Logic |
1979 |
| Temporal Logic: Library of Exact Philosophy, V3 |
N Rescher |
Dov M Gabbay |
|
1975-10-01 |
| Temporal Logic: Library of Exact Philosophy, V3 |
N Rescher |
J H Pfitsch |
Philosophy of Science |
1975-03-01 |
| Temporal Logic |
Nicholas Rescher and Alasdair Urquhart |
John Richards |
Philosophy of Science |
1975-03-00 |
| Temporal Logic: Library of Exact Philosophy, V3 |
N Rescher |
Carl H Heidrich |
Zeitschrift für allgemeine Wissenschaftstheorie |
1973-01-01 |
| Temporal modalities in Arabic logic |
Nicholas Rescher |
Hans Kamp |
The Journal of Symbolic Logic |
1973 |
| Identity and Spatio-Temporal Continuity |
David Wiggins |
John Perry |
The Journal of Symbolic Logic |
1970 |
| Temporal Modalities in Arabic Logic (Foundation of Language / Supplementary Series / Volume 2) |
Nicholas Rescher |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1966-09-00 |
