Logics with Multiteam Semantics

Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignment of values to the free variables, but on a set of such assignments, called a team. Team semantics is appropriate for...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2020-11
Hauptverfasser:	Grädel, Erich, Wilke, Richard
Format:	Artikel
Sprache:	eng
Schlagworte:	Dependence Formulas (mathematics) Logic Mathematical analysis Multiplication Operators (mathematics) Properties (attributes) Reasoning Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!