On the Presburger fragment of logics with multiteam semantics

DOI10.1016/j.apal.2022.103120OpenAlexW4220851535MaRDI QIDQ2172824

Richard Wilke

Publication date: 16 September 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103120

zbMATH Keywords

team semanticslogics of dependence and independencemultiteam semanticsPresburger fragment

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70) Model theory of finite structures (03C13) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• Upwards closed dependencies in team semantics
• Probabilistic team semantics
• Approximation and dependence via multiteam semantics
• Dependence and independence
• Facets of distribution identities in probabilistic team semantics
• A logic for arguing about probabilities in measure teams
• QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
• Compositional semantics for a language of imperfect information
• Logics with Multiteam Semantics
• Counting in Team Semantics

This page was built for publication: On the Presburger fragment of logics with multiteam semantics