Results 31 to 40 of about 1,485,809 (311)
Dimension in team semantics [PDF]
Mathematical Structures in Computer ScienceAbstractWe introduce three measures of complexity for families of sets. Each of the three measures, which we call dimensions, is defined in terms of the minimal number of convex subfamilies that are needed for covering the given family. For upper dimension, the subfamilies are required to contain a unique maximal set, for dual upper dimension a unique ...
Lauri Hella +2 more
openalex +4 more sources
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
, 2012 We introduce a variant of Dependence Logic in which truth is defined not in terms of existence of winning strategies for the Proponent (Eloise) in a semantic game, but in terms of lack of winning strategies for the Opponent (Abelard). We show that this language is a conservative but paraconsistent extension of First Order Logic, that its validity ...
Pietro Galliani
openalex +4 more sources
The Doxastic Interpretation of Team Semantics [PDF]
, 2015 We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framework for reasoning about beliefs and belief updates.
Pietro Galliani
openalex +4 more sources
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information [PDF]
Annals of Pure and Applied Logic, 2011 We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The properties of these logics and their relationships with other logics of imperfect information are then studied.
Pietro Galliani
+7 more sources
Team Semantics and Independence Notions in Quantum Physics
arXiv, 2021 We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework introduced by the first author in a prior paper.
Jouko Väänánen +2 more
openalex +4 more sources
Logics with probabilistic team semantics and the Boolean negation
Journal of Logic and Computation, 2023 Abstract We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic first-order theory of random variables with probabilistic independence.
Miika Hannula +5 more
openalex +5 more sources
The Effective Coverage of Homogeneous Teams with Radial Attenuation Models
Sensors, 2022 For the area coverage (e.g., using a WSN), despite the comprehensive research works on full-plane coverage using a multi-node team equipped with the ideal constant model, only very few works have discussed the coverage of practical models with varying ...
Yuan-Rui Yang, Qiyu Kang, Rui She
doaj +1 more source
Training, Abilities and the Structure of Teams
Games, 2023 Training in firms has an effect on the productivity of employees who receive the training, and depending on the production technology, on the other employees as well.
Tobias Hiller
doaj +1 more source
Generalized quantifiers using team semantics [PDF]
Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was only achieved for monotone increasing generalized quantifiers.
Fredrik Engström
openalex +3 more sources
Two strong undefinability results in inquisitive and team semantics [PDF]
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with tensor; 2) we show the undefinability of global disjunction in extended propositional dependence logic.
Fausto Barbero
openalex +3 more sources