4 citations · 4 across the 2 of their papers we have counts for
3 papers · 1 filter
Efficient First-Order Temporal Logic for Infinite-State Systems
Clare Dixon, Michael Fisher, Boris Konev +1
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of…
Monodic temporal resolution
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…
Clausal Temporal Resolution
Michael Fisher, Clare Dixon, Martin Peim
In this article, we examine how clausal resolution can be applied to a specific, but widely used, non-classical logic, namely discrete linear temporal logic. Thus, we first define…