Doubly Strongly First Order Dependencies

In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 47-63 (2021)
  Copy   BIBTEX

Abstract

Team Semantics is a generalization of Tarskian Semantics that can be used to add to First Order Logic atoms and connectives expressing dependencies between the possible values of variables. Some of the resulting logics are more expressive than First Order Logic, while others are not. I characterize the atoms and families of atoms that do not increase the expressive power of First Order Logic when they and their complements are added to it, separately or jointly.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2022-03-10

Downloads
12 (#1,368,341)

6 months
6 (#856,140)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references