Results 1  10
of
22
Compositional Semantics for a Language of Imperfect Information
 LOGIC JOURNAL OF THE IPGL
, 1997
"... We describe a logic which is the same as firstorder 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 gi ..."
Abstract

Cited by 91 (2 self)
 Add to MetaCart
We describe a logic which is the same as firstorder 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 `informationfriendly' language of Hintikka and Sandu. For firstorder formulas the semantics reduces to Tarski's semantics for firstorder 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 truthvalue of the sentence in any structure.
Independence: Logics and Concurrency
 P.O. Box 1047, Arlington, TX
, 2000
"... We consider Hintikka et al.'s `independencefriendly firstorder logic'. We apply it to a modal logic setting, defining a notion of `independent' modal logic, and we examine the associated fixpoint logics. ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
We consider Hintikka et al.'s `independencefriendly firstorder logic'. We apply it to a modal logic setting, defining a notion of `independent' modal logic, and we examine the associated fixpoint logics.
Logics of imperfect information: why sets of assignments
 Proceedings of 7th De Morgan Workshop ’Interactive Logic: Games and Social Software
, 2005
"... In 1961 Leon Henkin [3] extended firstorder logic by adding partially ordered arrays of quantifiers. He proposed a semantics for sentences φ that begin with quantifier arrays of this kind: φ is true in a structure A if and only if there are a sentence φ + and a structure A + such that: • φ + comes ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
In 1961 Leon Henkin [3] extended firstorder logic by adding partially ordered arrays of quantifiers. He proposed a semantics for sentences φ that begin with quantifier arrays of this kind: φ is true in a structure A if and only if there are a sentence φ + and a structure A + such that: • φ + comes from φ by removing each existential quantifier ∃y in the partially ordered prefix, and replacing each occurrence of the variable y by a term F (¯x) where ¯x are the variables universally quantified ‘before’ ∃y in the quantifier prefix (so that the new function symbols F are Skolem function symbols), • A + comes from A by adding functions to interpret the Skolem function symbols in φ +, and • φ + is true in A +. For example the sentence
ModelChecking Games for Logics of Imperfect Information
, 2012
"... Logics of dependence and independence have semantics that, unlike Tarski semantics, are not based on single assignments (mapping variables to elements of a structure) but on sets of assignments. Sets of assignments are called teams and the semantics is called team semantics. We design modelchecking ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Logics of dependence and independence have semantics that, unlike Tarski semantics, are not based on single assignments (mapping variables to elements of a structure) but on sets of assignments. Sets of assignments are called teams and the semantics is called team semantics. We design modelchecking games for logics with team semantics in a general and systematic way. The construction works for any extension of firstorder logic by atomic formulae on teams, as long as certain natural conditions are observed which are satisified by all team properties considered so far in the literature, including dependence, independence, constancy, inclusion, and exclusion. The secondorder features of team semantics are reflected by the notion of a consistent winning strategy which is also a secondorder notion in the sense that it depends not on single plays but on the space of all plays that are compatible with the strategy. Beyond the application to logics with team semantics, we isolate an abstract, purely combinatorial definition of such games, which may be viewed as secondorder reachability games, and study their algorithmic properties. A number of examples are provided that show how logics with team semantics express familiar combinatorial problems in a somewhat unexpected way. Based on our games, we provide a complexity analysis of logics with teams semantics.
Computational interpretations of classical linear logic
 LNCS
, 2007
"... Abstract. We survey several computational interpretations of classical linear logic based on twoplayer onemove games. The moves of the games are higherorder functionals in the language of finite types. All interpretations discussed treat the exponentialfree fragment of linear logic in a common w ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We survey several computational interpretations of classical linear logic based on twoplayer onemove games. The moves of the games are higherorder functionals in the language of finite types. All interpretations discussed treat the exponentialfree fragment of linear logic in a common way. They only differ in how much advantage one of the players has in the exponentials games. We discuss how the several choices for the interpretation of the modalities correspond to various wellknown functional interpretations of intuitionistic logic, including Gödel’s Dialectica interpretation and Kreisel’s modified realizability. 1
Team building in dependence
"... Hintikka and Sandu’s IndependenceFriendly Logic was introduced as a logic for partially ordered quantification, in which the independence of (existential) quantifiers from previous (universal) quantifiers is written by explicit syntax. It was originally given a semantics by games of imperfect infor ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
Hintikka and Sandu’s IndependenceFriendly Logic was introduced as a logic for partially ordered quantification, in which the independence of (existential) quantifiers from previous (universal) quantifiers is written by explicit syntax. It was originally given a semantics by games of imperfect information; Hodges then gave a (necessarily) secondorder Tarskian semantics. More recently, Väänänen (2007) has proposed that the many curious features of IF logic can be better understood in his Dependence Logic, in which the (in)dependence of variables is stated in atomic formula, rather than by changing the definition of quantifier; he gives semantics in Tarskian form, via imperfect information games, and via a routine secondorder perfect information game. He then defines Team Logic, where classical negation is added to the mix, resulting in a full secondorder expressive logic. He remarks that no game semantics appears possible (other than by playing at second order). In this article, we explore an alternative approach to game semantics for DL, where we avoid imperfect information, yet stay locally apparently firstorder, by sweeping the secondorder information into longer games (infinite games in the case of countable models). Extending the game to Team Logic is not possible in standard games, but we conjecture a move to transfinite games may achieve a ‘natural ’ game for Team Logic.
Quantificational modal logic with sequential kripke semantics
 Journal of Applied NonClassical Logics
, 2005
"... ABSTRACT. We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
ABSTRACT. We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multiagent systems. We study the formal properties of the resulting logic which, formally speaking, does not satisfy the normality condition. However, the logic admits a semantics in terms of (an extension of) Kripke structures. As a consequence, standard techniques for normal modal logic become available. We apply these to prove completeness and decidability, and to extend some standard frame results to this logic.