On the Presburger fragment of logics with multiteam semantics

DOI10.1016/J.APAL.2022.103120MaRDI QIDQ2172824zbMATH OpenOpenAlexFDO

Authors 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

logics of dependence and independencemultiteam semanticsPresburger fragmentteam semantics

Mathematics Subject Classification ID

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

Recommendations

• Logics with multiteam semantics
• Approximation and dependence via multiteam semantics
• Approximation and dependence via multiteam semantics
• Polyteam semantics
• Polyteam semantics

Cites work

• A logic for arguing about probabilities in measure teams
• Approximation and dependence via multiteam semantics
• Compositional semantics for a language of imperfect information
• Counting in team semantics
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Facets of distribution identities in probabilistic team semantics
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Logics with multiteam semantics
• On definability in dependence logic
• Probabilistic team semantics
• Quantum team logic and Bell's inequalities
• Upwards closed dependencies in team semantics

Cited in

(3)

• scientific article; zbMATH DE number 7407786 (Why is no real title available?)
• Multiteam semantics for interventionist counterfactuals: probabilities and causation
• Expressivity landscape for logics with probabilistic interventionist counterfactuals

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

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