1 paper
Anatoly Degtyarev, Michael Fisher, Boris Konev
Until recently, First-Order Temporal Logic (FOTL) has been little understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of f…