scientific article; zbMATH DE number 7407786

MaRDI QIDQ5155675zbMATH OpenFDO

Authors Matthias Hoelzel, Richard Wilke

Publication date 8 October 2021

Full work available at URL https://arxiv.org/abs/1910.06057, https://lmcs.episciences.org/8324

zbMATH Keywords

closure propertiesexistential second-order logichigher order logicmodel-checking gamessyntactic charactisations of semantical fragmentsteam semanticsunion closure

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.
• Propositional union closed team logics
• On the Presburger fragment of logics with multiteam semantics
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Separation logic and logics with team semantics
• On a hierarchy involving transitive closure logic and existential second-order quantification
• Decidability of predicate logics with team semantics
• Logics with multiteam semantics
• Axiomatizations for propositional and modal team logic

Cites work

• Compositional semantics for a language of imperfect information
• Dependence and independence
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic

Cited in

(3)

• Propositional union closed team logics
• On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.
• Axiomatizing modal inclusion logic and its variants

This page was built for publication:

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