Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0945.03034
Hodges, Wilfrid
Compositional semantics for a language of imperfect information. (English)
[J] Log. J. IGPL 5, No.4, 539-563 (1997). ISSN 1367-0751; ISSN 1368-9894/e

Summary: 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.

MSC 2000:: *03B60 Other nonclassical logic
03C80 Logic with extra quantifiers and operators

Keywords: first-order logic; branching quantifiers; compositional semantics

Cited in: Zbl 1160.03007 Zbl 1121.03037 Zbl 1038.03032 Zbl 0991.03034

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]