Unified Foundations of Team Semantics via Semirings

Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema

Abstract: Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of ...