5 found
  1.  23
    Logics for Propositional Determinacy and Independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.
    This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyse the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   3 citations  
  2.  17
    A Double Team Semantics for Generalized Quantifiers.Antti Kuusisto - 2015 - Journal of Logic, Language and Information 24 (2):149-191.
    We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We also devise a game-theoretic semantics equivalent to the double team semantics. We make use of the double team semantics by defining a logic (...)
    Direct download (7 more)  
    Export citation  
    Bookmark   5 citations  
  3.  12
    Second-Order Propositional Modal Logic and Monadic Alternation Hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
  4.  10
    A Modal Perspective on Monadic Second-Order Alternation Hierarchies.Antti Kuusisto - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 231-247.
    No categories
    Direct download  
    Export citation  
    Bookmark   3 citations  
  5.  25
    Expressivity of Imperfect Information Logics Without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
    In this article we investigate the family of independence-friendly (IF) logics in the equality-free setting, concentrating on questions related to expressive power. Various natural equality-free fragments of logics in this family translate into existential second-order logic with prenex quantification of function symbols only and with the first-order parts of formulae equality-free. We study this fragment of existential second-order logic. Our principal technical result is that over finite models with a vocabulary consisting of unary relation symbols only, this fragment of second-order (...)
    Direct download (5 more)  
    Export citation