Results 1 - 10
of
89
Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information
- Annals of Pure and Applied Logic, 163(1):68
"... ar ..."
(Show Context)
Independence: Logics and Concurrency
- P.O. Box 1047, Arlington, TX
, 2000
"... We consider Hintikka et al.'s `independence-friendly first-order 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 `independence-friendly first-order logic'. We apply it to a modal logic setting, defining a notion of `independent' modal logic, and we examine the associated fixpoint logics.
Inclusion Logic and Fixed Point Logic
"... We investigate the properties of Inclusion Logic, that is, First Order Logic with Team Semantics extended with inclusion dependencies. We prove that Inclusion Logic is equivalent to Greatest Fixed Point Logic, and we prove that all union-closed first-order definable properties of relations are defin ..."
Abstract
-
Cited by 12 (1 self)
- Add to MetaCart
(Show Context)
We investigate the properties of Inclusion Logic, that is, First Order Logic with Team Semantics extended with inclusion dependencies. We prove that Inclusion Logic is equivalent to Greatest Fixed Point Logic, and we prove that all union-closed first-order definable properties of relations are definable in it. We also provide an Ehrenfeucht-Fraïssé game for Inclusion Logic, and give an example illustrating its use.
Dependence and Independence ∗
, 2010
"... We introduce an atomic formula ⃗y ⊥⃗x ⃗z intuitively saying that the variables ⃗y are independent from the variables ⃗z if the variables ⃗x are kept constant. We contrast this with dependence logic D [5] based on the atomic formula =(⃗x, ⃗y), actually a special case of ⃗y ⊥⃗x ⃗z, saying that the var ..."
Abstract
-
Cited by 12 (1 self)
- Add to MetaCart
(Show Context)
We introduce an atomic formula ⃗y ⊥⃗x ⃗z intuitively saying that the variables ⃗y are independent from the variables ⃗z if the variables ⃗x are kept constant. We contrast this with dependence logic D [5] based on the atomic formula =(⃗x, ⃗y), actually a special case of ⃗y ⊥⃗x ⃗z, saying that the variables ⃗y are totally determined by the variables ⃗x. We show that ⃗y ⊥⃗x ⃗z gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. We show that ⃗y ⊥⃗x ⃗z can be used to give partially ordered quantifiers and IF-logic a compositional interpretation without some of the shortcomings related to so called signaling that interpretations using =(⃗x, ⃗y) have. Of the numerous uses of the word “dependence ” we focus on the concept of an attribute 1 depending on a number of other similar attributes when we observe the world. We call these attributes variables. We follow the approach of [5] and focus on the strongest form of dependence, namely functional dependence. This is the kind of dependence in which some given variables absolutely deterministically determine some
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 first-order 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 11 (0 self)
- Add to MetaCart
(Show Context)
In 1961 Leon Henkin [3] extended first-order 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
Independent Choices and the Interpretation of IF Logic
- Journal of Logic, Language and Information
, 2002
"... Abstract. In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e ..."
Abstract
-
Cited by 10 (0 self)
- Add to MetaCart
Abstract. In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intuitions about independence.
A Compositional Game Semantics for Multi-Agent Logics of Partial Information
"... We consider the following questions: What kind of logic has a natural semantics in multi-player (rather than 2-player) games? How can we express branching quantifiers, and other partial-information constructs, with a properly compositional syntax and semantics? We develop a logic in answer to these ..."
Abstract
-
Cited by 9 (0 self)
- Add to MetaCart
(Show Context)
We consider the following questions: What kind of logic has a natural semantics in multi-player (rather than 2-player) games? How can we express branching quantifiers, and other partial-information constructs, with a properly compositional syntax and semantics? We develop a logic in answer to these questions, with a formal semantics based on multiple concurrent strategies, formalized as closure operators on Kahn-Plotkin concrete domains. Partial information constraints are represented as co-closure operators. We address the syntactic issues by treating syntactic constituents, including quantifiers, as arrows in a category, with arities and co-arities. This enables a fully compositional account of a wide
Socially Responsive, Environmentally Friendly Logic
- in Truth and Games: Essays in Honour of Gabriel Sandu, Aho, Tuomo and Ahti-Veikko Pietarinen, eds., Acta Philosophica Fennica
, 2006
"... We consider the following questions: What kind of logic has a natural semantics in multi-player (rather than 2-player) games? How can we express branching quantifiers, and other partial-information constructs, with a properly compositional syntax and semantics? We develop a logic in answer to these ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
(Show Context)
We consider the following questions: What kind of logic has a natural semantics in multi-player (rather than 2-player) games? How can we express branching quantifiers, and other partial-information constructs, with a properly compositional syntax and semantics? We develop a logic in answer to these questions, with a formal semantics based on multiple concurrent strategies, formalized as closure operators on Kahn-Plotkin concrete domains. Partial information constraints are represented as co-closure operators. We address the syntactic issues by treating syntactic constituents, including quantifiers, as arrows in a category, with arities and co-arities. This enables a fully compositional account of a wide
