Approximation and Dependence via Multiteam Semantics

DOI10.1007/978-3-319-30024-5_15zbMath1459.03031arXiv1510.09040OpenAlexW2962881322WikidataQ57998265 ScholiaQ57998265MaRDI QIDQ2807084

Arnaud Durand, Jonni Virtema, Miika Hannula, Juha Kontinen, Arne Meier

Publication date: 19 May 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.09040

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (6)

Embedding causal team languages into predicate logic ⋮ Team semantics for the specification and verification of hyperproperties ⋮ A logical approach to context-specific independence ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ A Logical Approach to Context-Specific Independence ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

This page was built for publication: Approximation and Dependence via Multiteam Semantics