Logics for first-order team properties

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Kuvaus

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$.
Alkuperäiskielienglanti
OtsikkoLogic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019. Proceedings
Julkaisupäivä18 huhtikuuta 2019
TilaJulkaistu - 18 huhtikuuta 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Lainaa tätä

Kontinen, J., & Yang, F. (2019). Logics for first-order team properties. teoksessa Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings
Kontinen, Juha ; Yang, Fan. / Logics for first-order team properties. Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. 2019.
@inproceedings{acf82b153ac342e581fcbef9acb39c2b,
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$.",
keywords = "math.LO, 03B60",
author = "Juha Kontinen and Fan Yang",
year = "2019",
month = "4",
day = "18",
language = "English",
booktitle = "Logic, Language, Information, and Computation",

}

Kontinen, J & Yang, F 2019, Logics for first-order team properties. julkaisussa Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings.

Logics for first-order team properties. / Kontinen, Juha; Yang, Fan.

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. 2019.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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$.

KW - math.LO

KW - 03B60

M3 - Conference contribution

BT - Logic, Language, Information, and Computation

ER -

Kontinen J, Yang F. Logics for first-order team properties. julkaisussa Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. 2019