Logics for first-order team properties

Juha Kontinen, Fan Yang

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Sammanfattning

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$.
Originalspråkengelska
Titel på värdpublikationLogic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019. Proceedings
RedaktörerRosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
Antal sidor23
Volym11541
FörlagSpringer-Verlag
Utgivningsdatum18 apr. 2019
Sidor392-414
ISBN (tryckt)978-3-662-59532-9
ISBN (elektroniskt)978-3-662-59533-6
DOI
StatusPublicerad - 18 apr. 2019
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemang26th Workshop on Logic, Language, Information and Computation - Utrecht, Holland
Varaktighet: 2 juli 20195 juli 2019
Konferensnummer: 26

Publikationsserier

NamnLecture Notes in Computer Science
ISSN (tryckt)0302-9743
ISSN (elektroniskt)1611-3349

Vetenskapsgrenar

  • 111 Matematik

Citera det här