7 found
Sort by:
  1. Agi Kurucz (2013). A Note on Axiomatisations of Two-Dimensional Modal Logics. In. In Kamal Lodaya (ed.), Logic and its Applications. Springer. 27--33.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Agi Kurucz & Sérgio Marcelino (2012). Non-Finitely Axiomatisable Two-Dimensional Modal Logics. Journal of Symbolic Logic 77 (3):970-986.
    We show the first examples of recursively enumerable (even decidable) two-dimensional products of finitely axiomatisable modal logics that are not finitely axiomatisable. In particular, we show that any axiomatisation of some bimodal logics that are determined by classes of product frames with linearly ordered first components must be infinite in two senses: It should contain infinitely many propositional variables, and formulas of arbitrarily large modal nesting-depth.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Agi Kurucz (2009). Weakly Associative Relation Algebras with Projections. Mlq 55 (2):138-153.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Miklós Erdélyi-Szabó, László Kálmán & Agi Kurucz (2008). Towards a Natural Language Semantics Without Functors and Operands. Journal of Logic, Language and Information 17 (1):1-17.
    The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2006). Non-Primitive Recursive Decidability of Products of Modal Logics with Expanding Domains. Annals of Pure and Applied Logic 142 (1):245-268.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2005). Products of 'Transitive' Modal Logics. Journal of Symbolic Logic 70 (3):993-1021.
    We solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics as K4, S4, S4.1, K4.3, GL, or Grz are undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4,K4] with product frames of arbitrary finite or infinite depth (with respect to both accessibility relations) can be decidable. In particular, if.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
    We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation