Logic Journal of the IGPL 5 (4):539-563 (1997)

We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/5.4.539
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,981
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.

View all 85 citations / Add more citations

Similar books and articles

Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.
On the Logic of Informational Independence and its Applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Equilibrium Semantics of Languages of Imperfect Information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Independent Choices and the Interpretation of IF Logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
Hybrid Logic Meets If Modal Logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
Guards, Bounds, and Generalized Semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
On the Semantics of Informational Independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.
Communication And The Complexity of Semantics.Peter Pagin - 2012 - In Markus Werning, Wolfram Hinzen & Edouard Machery (eds.), The Oxford Handbook of Compositionality. Oxford University Press.
From Compositional to Systematic Semantics.Wlodek Zadrozny - 1994 - Linguistics and Philosophy 17 (4):329 - 342.
The Logic of Informational Independence and Finite Models.G. Sandu - 1997 - Logic Journal of the IGPL 5 (1):79-95.


Added to PP index

Total views
31 ( #339,939 of 2,427,411 )

Recent downloads (6 months)
2 ( #339,671 of 2,427,411 )

How can I increase my downloads?


My notes