Order:
  1. Equality and monodic first-order temporal logic.Anatoli Degtyarev, Michael Fisher & Alexei Lisitsa - 2002 - Studia Logica 72 (2):147-156.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  11
    Computer-aided proof of Erdős discrepancy properties.Boris Konev & Alexei Lisitsa - 2015 - Artificial Intelligence 224 (C):103-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark