Logics of Imperfect Information without Identity

Book English OPEN
Kuusisto, Antti;
(2011)
  • Subject: fi=Matematiikka | en=Mathematics|
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

We investigate the expressive power of sentences of the family of independence friendly (IF) logics in the equality-free setting. Various natural equality-free fragments of logics in this family translate into the version of existential second-order logic with prenex qu... View more
Share - Bookmark