Counting in team semantics

DOI10.4230/LIPICS.CSL.2016.35MaRDI QIDQ5278424zbMATH OpenOpenAlexFDO

Authors 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

fixed-point logic with countinglogics with countingteam semantics

Mathematics Subject Classification ID

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

Recommendations

• Logics with multiteam semantics
• Polyteam semantics
• Polyteam semantics
• Team building in dependence
• Propositional team logics

Cited in

(12)

• Propositional union closed team logics
• Separation logic and logics with team semantics
• On the Presburger fragment of logics with multiteam semantics
• A double team semantics for generalized quantifiers
• Model-checking games for logics of imperfect information
• A finite-model-theoretic view on propositional proof complexity
• Counting of Teams in First-Order Team Logics
• Axiomatizing first order consequences in inclusion logic
• Polyteam semantics
• Modular SAT-based techniques for reasoning tasks in team semantics
• Counting of teams in first-order team logics
• Symmetric proofs in the ideal proof system

This page was built for publication: Counting in team semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5278424)