Compositional semantics for a language of imperfect information

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


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



    Upload a copy of this work     Papers currently archived: 94,659

External links

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

Through your library

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.
Perfect IFG-Formulas.Allen L. Mann - 2008 - Logica Universalis 2 (2):265-275.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Semantics for first-order superposition logic.Athanassios Tzouvaras - 2019 - Logic Journal of the IGPL 27 (4):570-595.
Guards, Bounds, and Generalized Semantics.Johan Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
The logic of informational independence and finite models.G. Sandu - 1997 - Logic Journal of the IGPL 5 (1):79-95.
On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.


Added to PP

87 (#193,359)

6 months
15 (#236,772)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfrid Hodges
British Academy

Citations of this work

Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.

View all 130 citations / Add more citations

References found in this work

No references found.

Add more references