On independence-friendly fixpoint logics

Philosophia Scientiae 8 (2):125-144 (2004)
  Copy   BIBTEX

Abstract

Nous introduisons une extension aux points fixes de la logique IF (faite pour l’indépendance) de Hintikka et Sandu. Nous donnons des résultats sur sa complexité et son pouvoir expressif. Nous la relions aux jeux de parité à information imparfaite, et nous montrons une application à la définition d’un mu-calcul modal fait pour l’indépendance.

Categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.568

Links

PhilArchive



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

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

Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Independence-friendly logic and games of incomplete information.Ahti-Veikko Pietarinen - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 243--259.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Kleene's logic, generalized.Melvin Fitting - unknown
Independence: logics and concurrency.J. C. Bradfield - 2006 - Acta Philosophica Fennica 78.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Completeness for flat modal fixpoint logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
On existential declarations of independence in if logic.Fausto Barbero - 2013 - Review of Symbolic Logic 6 (2):254-280.
Perfect IFG-Formulas.Allen L. Mann - 2008 - Logica Universalis 2 (2):265-275.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.

Analytics

Added to PP
2014-01-18

Downloads
40 (#369,834)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.

Add more citations

References found in this work

No references found.

Add more references