Complete logics for elementary team properties

Juha Kontinen, Fan Yang

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Sammanfattning

In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of FOT, called FOT?, captures exactly downward closed elementary (or 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?.
Originalspråkengelska
ArtikelnummerPII S0022481222000809
TidskriftJournal of Symbolic Logic
Volym88
Nummer2
Sidor (från-till)579 - 619
Antal sidor41
ISSN0022-4812
DOI
StatusPublicerad - juni 2023
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här