1. Stéphane Demri & Hans De Nivelle (2005). Deciding Regular Grammar Logics with Converse Through First-Order Logic. Journal of Logic, Language and Information 14 (3):289-329.
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Hans de Nivelle (2000). Deciding the -Class by an a Posteriori, Liftable Order. Annals of Pure and Applied Logic 104 (1-3):219-232.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Hans de Nivelle (1998). The Resolution Calculus, Alexander Leitsch. Journal of Logic, Language and Information 7 (4):499-502.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation