Logics of Imperfect Information without Identity

TamPub

Kuvailutiedot

dc.contributor.author Kuusisto, Antti -
dc.date.accessioned 2012-06-17T20:08:45Z
dc.date.available 2012-06-15 07:02:16 -
dc.date.available 2012-06-17T20:08:45Z
dc.date.issued 2011 -
dc.identifier.isbn 978-951-44-8229-8 -
dc.identifier.uri http://tampub.uta.fi/handle/10024/65403
dc.description Tämä tekninen raportti on julkaistu epävirallisesti Kööpenhaminassa 2010 pidetyn epämuodollisen workshopin yhteydessä. -
dc.description.abstract 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 quantification of function symbols only and with the first-order parts of formulae equality-free. We study this version of existential second-order logic. Our principal result is that over finite models with a vocabulary consisting of unary relation symbols only, this fragment of second-order logic is weaker in expressive power than first-order logic. Such results could turn out useful in the study of independence-friendly modal logics. In addition to proving results of a technical nature, we consider issues related to a perspective where IF logic is regarded as a specification framework for games, and also discuss the significance of understanding fragments of second-order logic in investigations related to non-classical logics. -
dc.format.extent 16 -
dc.language.iso en -
dc.title Logics of Imperfect Information without Identity -
dc.type fi=Erillisteos | en=Monograph| -
dc.identifier.urn urn:isbn:978-951-44-8229-8 -
dc.type.version fi=Kustantajan versio | en=Publisher's version| -
dc.subject.okm fi=Matematiikka | en=Mathematics| -
dc.administrativeunit fi=Informaatiotieteiden yksikkö | en=School of Information Sciences| -
dc.oldstats 188 -

Viite kuuluu kokoelmiin:

Kuvailutiedot