#### DMCA

## Creative Commons Attribution License.

### Citations

89 | Compositional Semantics for a Language of Imperfect Information
- Hodges
- 1997
(Show Context)
Citation Context ...defined to be true in a team T of a Kripke model K if and only if for every w ∈ T there is v ∈ T such that, for all 1≤ i≤ n, K,w |= ϕi ⇐⇒ K,v |= ψi. Team semantics was originally introduced by Hodges =-=[10]-=-, who used sets of assignments of firstorder variables to define a compositional semantics for the independence-friendly logic of Hintikka and Sandu [9]. Later Väänänen observed that a dependence b... |

63 | Informational independence as a semantical phenomenon, in: Logic, methodology and philosophy of science, - Hintikka, Sandu - 1987 |

41 | Model theory of modal logic
- Goranko, Otto
- 2007
(Show Context)
Citation Context ...ted Φ-model (K,w) and every k ∈ N there is a formula that characterises (K,w) completely up to k-equivalence. These Hintikka-formulas, which are also called characteristic formulas, are defined as in =-=[6]-=-. Definition 2.9. Assume that Φ is a finite set of proposition symbols. Let k ∈N and let (K,w) be a pointed Φ-model. The k-th Hintikka-formula χkK,w of (K,w) is defined recursively as follows: • χ0K,w... |

28 | Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information
- Galliani
(Show Context)
Citation Context ...h as physics, statistics, and even social choice theory. A team can also be seen as a relational database. In database theory a great variety of constraints over relations have been studied. Galliani =-=[5]-=- imported inclusion dependencies of database theory into the team semantics setting by defining inclusion atoms of the form x1 . . .xn ⊆ y1 . . .yn. This atom is satisfied in a team T if for every ass... |

17 |
Maarten de Rijke & Yde Venema (2001): Modal Logic
- Blackburn
(Show Context)
Citation Context .... 132 The expressive power of modal logic with inclusion atoms Instead of defining the satisfaction relation with respect to single nodes of the Kripke model, as in regular Kripke semantics (see e.g. =-=[1]-=-), here it is defined with respect to teams. Definition 2.3. The team semantics for ML is due to [17] and defined as follows: K,T |= p ⇐⇒ T ⊆V (p) K,T |= ¬p ⇐⇒ T ∩V (p) = /0 K,T |= ϕ ∧ψ ⇐⇒ K,T |= ϕ an... |

6 |
On Extensions and Variants of Dependence Logic,”
- Yang
- 2014
(Show Context)
Citation Context ...fragments of MDL. Ebbing and Lohmann [4] showed that the model checking problem for MDL is NP-complete. Also, in recent years research on complexity questions has been active; see e.g. [11], [15] and =-=[18]-=-. The complexity of the satisfiability problem for modal inclusion logic is studied in [7]. The expressive power of MDL has been studied more systematically only recently. In [3], Ebbing et al. observ... |

2 |
Lohmann (2012): Complexity of model checking for modal dependence logic
- Ebbing, Peter
(Show Context)
Citation Context ...s. Sevenster showed in [14] that the satisfiability problem for MDL is complete for NEXPTIME. In [12], Lohmann and Vollmer proved complexity results for syntactic fragments of MDL. Ebbing and Lohmann =-=[4]-=- showed that the model checking problem for MDL is NP-complete. Also, in recent years research on complexity questions has been active; see e.g. [11], [15] and [18]. The complexity of the satisfiabili... |

2 |
Kerkko Luosto, Katsuhiko Sano & Jonni Virtema (2014): The Expressive Power of Modal Dependence Logic
- Hella
(Show Context)
Citation Context ... . . . , pn,q in dependence atoms. Furthermore, it was shown in [3] that, in terms of expressive power, EMDL is a sublogic of ML(6), the extension of modal logic with intuitionistic disjunction 6. In =-=[8]-=-, Hella et al. proved that the converse is also true, and hence EMDL and ML(6) have equal expressive power. Moreover, they gave a complete characterisation for the expressive power of these two logics... |

2 |
Heribert Vollmer (2013): Complexity Results for Modal Dependence Logic. Studia Logica 101
- Lohmann
(Show Context)
Citation Context ...c, MDL. Initially, the research on modal dependence logic was mainly concerned with complexity questions. Sevenster showed in [14] that the satisfiability problem for MDL is complete for NEXPTIME. In =-=[12]-=-, Lohmann and Vollmer proved complexity results for syntactic fragments of MDL. Ebbing and Lohmann [4] showed that the model checking problem for MDL is NP-complete. Also, in recent years research on ... |

1 |
Lohmann & Jonni Virtema (2015): Boolean dependence logic
- Ebbing, Hella, et al.
(Show Context)
Citation Context ...ow that a formula holds, while the other player tries to refute the formula. The following idea of using a function F as a winning strategy in the semantic game is due to Jonni Virtema and is used in =-=[2]-=-. Raine Rönnholm [13] introduced the idea in the context of inclusion and exclusion logic. Definition 5.1. Let K = (W,R,V ) be a Kripke model and T a team in W . Let ϕ ∈ML(▽). Let F be a function map... |

1 |
Antti Kuusisto, Arne Meier & Heribert Vollmer (2015): Modal Inclusion Logic: Being Lax is Simpler than Being Strict. arXiv:1504.06409 [cs.LO
- Hella
(Show Context)
Citation Context ...NP-complete. Also, in recent years research on complexity questions has been active; see e.g. [11], [15] and [18]. The complexity of the satisfiability problem for modal inclusion logic is studied in =-=[7]-=-. The expressive power of MDL has been studied more systematically only recently. In [3], Ebbing et al. observed that purely propositional dependence atoms =(p1, . . . , pn,q) are too weak to express ... |

1 |
Julian-Steffen Müller, Henning Schnoor & Heribert Vollmer (2014
- Kontinen
(Show Context)
Citation Context ... for syntactic fragments of MDL. Ebbing and Lohmann [4] showed that the model checking problem for MDL is NP-complete. Also, in recent years research on complexity questions has been active; see e.g. =-=[11]-=-, [15] and [18]. The complexity of the satisfiability problem for modal inclusion logic is studied in [7]. The expressive power of MDL has been studied more systematically only recently. In [3], Ebbin... |

1 |
2014): personal communication
- Rönnholm
(Show Context)
Citation Context ...tion Another way to express nonemptiness is to define a disjunction which requires that each of the disjuncts is satisfied in a nonempty subset. This connective was first suggested by Raine Rönnholm =-=[13]-=-. Definition 4.10. K,T |= ϕ ⊲⊳∨ψ if and only if T = /0 or there exist T1,T2 6= /0 such that T = T1 ∪ T2 and K,T1 |= ϕ and K,T2 |= ψ . Closure under k-bisimulation, closure under unions and the empty t... |