6 found
Order:
Disambiguations
Hans de Nivelle [5]H. de Nivelle [3]
  1.  47
    Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2. (1 other version)Index of Authors of Volume 7.V. M. Abrusci, G. Attardi, D. Basin, R. Booth, T. Borghuis, S. Buvac, M. Cadoli, J. Cantwell, H. de Nivelle & M. Dymetman - 1998 - Journal of Logic, Language, and Information 7 (507):507.
     
    Export citation  
     
    Bookmark  
  3.  25
    Index of Authors of Volume 14.N. Alechina, A. Altman, V. Becher, G. A. Bodanza, T. Braüner, A. Branco, P. Buitelaar, J. Cantwell, H. De Nivelle & S. Degeilh - 2005 - Journal of Logic, Language and Information 14 (4):489.
  4.  13
    Computing finite models by reduction to function-free clause logic.Peter Baumgartner, Alexander Fuchs, Hans de Nivelle & Cesare Tinelli - 2009 - Journal of Applied Logic 7 (1):58-74.
  5.  22
    Deciding the E+-class by an a posteriori, liftable order.Hans de Nivelle - 2000 - Annals of Pure and Applied Logic 104 (1-3):219-232.
    We show that the E + -class can be decided by resolution using a liftable order, when the order is applied a posteriori. This is a surprising result, because the decision procedure for the E + -class was one of the motivations for the study of non-liftable orders. Also surprising is the behaviour of the resolution process. Initially the maximal depth at which a variable occurs can increase, but it will not increase more than a certain bound. We do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    The resolution calculus, Alexander Leitsch.Hans de Nivelle - 1998 - Journal of Logic, Language and Information 7 (4):499-502.