Counting in Team Semantics

DOI10.4230/LIPIcs.CSL.2016.35zbMath1370.03044OpenAlexW2551205082MaRDI QIDQ5278424

Erich Grädel, Stefan Hegselmann

Publication date: 19 July 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2016.35

zbMATH Keywords

team semanticsfixed-point logic with countinglogics with counting

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13)

Related Items (5)

Propositional union closed team logics ⋮ Separation logic and logics with team semantics ⋮ On the Presburger fragment of logics with multiteam semantics ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Unnamed Item

This page was built for publication: Counting in Team Semantics