4 found
Order:
  1. Infinite Counting.AgneS Kurucz & Arrow Logic - forthcoming - Studia Logica.
     
    Export citation  
     
    Bookmark   4 citations  
  2.  30
    On Axiomatising Products of Kripke Frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
    It is shown that the many-dimensional modal logic K n , determined by products of n-many Kripke frames, is not finitely axiomatisable in the n-modal language, for any $n > 2$ . On the other hand, K n is determined by a class of frames satisfying a single first-order sentence.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  42
    Decidable and Undecidable Logics with a Binary Modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.
    We give an overview of decidability results for modal logics having a binary modality. We put an emphasis on the demonstration of proof-techniques, and hope that this will also help in finding the borderlines between decidable and undecidable fragments of usual first-order logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  28
    Arrow Logic and Infinite Counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
    We consider arrow logics (i.e., propositional multi-modal logics having three -- a dyadic, a monadic, and a constant -- modal operators) augmented with various kinds of infinite counting modalities, such as 'much more', 'of good quantity', 'many times'. It is shown that the addition of these modal operators to weakly associative arrow logic results in finitely axiomatizable and decidable logics, which fail to have the finite base property.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation