Logics for first-order team properties

Juha Kontinen; Fan Yang

doi:10.1007/978-3-662-59533-6

Logics for first-order team properties

Juha Kontinen, Fan Yang^*

^*Corresponding author for this work

University of Helsinki

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coincides with first-order logic both on the level of sentences and (open) formulas, and we also show that a sublogic of FOT, called FOT${}^\downarrow$, captures exactly downward closed first-order team properties. We axiomatize completely the logic FOT, and also extend the known partial axiomatization of dependence logic to dependence logic enriched with the logical constants in FOT${}^\downarrow$.

Original language	English
Title of host publication	Logic, Language, Information, and Computation
Publisher	Springer
Pages	392-414
ISBN (Print)	978-3-662-59533-6, 978-3-662-59532-9
DOIs	https://doi.org/10.1007/978-3-662-59533-6
Publication status	Published - 18 Apr 2019
Externally published	Yes

Access to Document

10.1007/978-3-662-59533-6

Cite this

@inproceedings{398763953eb146be9b59bf353a2a0f35,

title = "Logics for first-order team properties",

abstract = "In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coincides with first-order logic both on the level of sentences and (open) formulas, and we also show that a sublogic of FOT, called FOT${}^\downarrow$, captures exactly downward closed first-order team properties. We axiomatize completely the logic FOT, and also extend the known partial axiomatization of dependence logic to dependence logic enriched with the logical constants in FOT${}^\downarrow$. ",

author = "Juha Kontinen and Fan Yang",

year = "2019",

month = apr,

day = "18",

doi = "10.1007/978-3-662-59533-6",

language = "English",

isbn = "978-3-662-59533-6",

pages = "392--414",

booktitle = "Logic, Language, Information, and Computation",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - Logics for first-order team properties

AU - Kontinen, Juha

AU - Yang, Fan

PY - 2019/4/18

Y1 - 2019/4/18

N2 - In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coincides with first-order logic both on the level of sentences and (open) formulas, and we also show that a sublogic of FOT, called FOT${}^\downarrow$, captures exactly downward closed first-order team properties. We axiomatize completely the logic FOT, and also extend the known partial axiomatization of dependence logic to dependence logic enriched with the logical constants in FOT${}^\downarrow$.

AB - In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coincides with first-order logic both on the level of sentences and (open) formulas, and we also show that a sublogic of FOT, called FOT${}^\downarrow$, captures exactly downward closed first-order team properties. We axiomatize completely the logic FOT, and also extend the known partial axiomatization of dependence logic to dependence logic enriched with the logical constants in FOT${}^\downarrow$.

UR - https://researchportal.helsinki.fi/en/publications/acf82b15-3ac3-42e5-81fc-bef9acb39c2b

U2 - 10.1007/978-3-662-59533-6

DO - 10.1007/978-3-662-59533-6

M3 - Conference contribution

SN - 978-3-662-59533-6

SN - 978-3-662-59532-9

SP - 392

EP - 414

BT - Logic, Language, Information, and Computation

PB - Springer

ER -

Logics for first-order team properties

Abstract

Access to Document

Fingerprint

Cite this