| Original language | English |
|---|---|
| Pages (from-to) | 279-302 |
| Journal | Studia Logica |
| Publication status | Published - 1996 |
Axiomatising First-Order Temporal Logic: Until and Since over Linear Time
Research output: Contribution to journal › Article › peer-review
12
Citations
(Scopus)