|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
Equality and Monodic First-Order Temporal Logic
Degtyarev, Anatoli and Fisher, Michael and Lisitsa, Alexei (2002) Equality and Monodic First-Order Temporal Logic. Studia Logica, 72 (2). pp. 147-156. ISSN 0039-3215
It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.
Repository Staff Only: item control page