Logics for first-order team properties

DOI10.1007/978-3-662-59533-6_24OpenAlexW2938829187MaRDI QIDQ2303604

Fan Yang, Juha Kontinen

Publication date: 4 March 2020

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

zbMATH Keywords

first-order logicdependence logicteam semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (6)

Doubly strongly first order dependencies ⋮ On elementary logics for quantitative dependencies ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Strongly first order, domain independent dependencies: the union-closed case ⋮ A simple logic of functional dependence ⋮ Counting of Teams in First-Order Team Logics

This page was built for publication: Logics for first-order team properties