On the semantics of informational independence

Logic Journal of the IGPL 10 (3):339-352 (2002)
  Copy   BIBTEX

Abstract

The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect information. We also give an Ehrenfeucht-Fraïssé game adequate for this logic and use it to define a Distributive Normal Form for independence friendly logic

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/10.3.339

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.
Dependence logic: a new approach to independence friendly logic.Jouko Väänänen - 2007 - New York: Cambridge University Press.
Independent choices and the interpretation of IF logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Dependence of variables construed as an atomic formula.Jouko Väänänen & Wilfrid Hodges - 2010 - Annals of Pure and Applied Logic 161 (6):817-828.
On existential declarations of independence in if logic.Fausto Barbero - 2013 - Review of Symbolic Logic 6 (2):254-280.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.

Analytics

Added to PP
2015-02-04

Downloads
26 (#596,950)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
An Ehrenfeucht‐Fraïssé game for Lω1ω.Jouko Väänänen & Tong Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):357-370.
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references