Safe dependency atoms and possibility operators in team semantics

DOI10.1016/J.IC.2020.104593MaRDI QIDQ2029599zbMATH OpenOpenAlexFDO

Authors Pietro Galliani

Publication date 3 June 2021

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.00710

zbMATH Keywords

dependence logicfirst-order logicsecond-order logicteam semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 7447734
• Upwards closed dependencies in team semantics
• Upwards closed dependencies in team semantics
• Doubly strongly first order dependencies
• Characterizing strongly first order dependencies: the non-jumping relativizable case

Cites work

• A double team semantics for generalized quantifiers
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Epistemic operators in dependence logic
• Expressivity and Complexity of Dependence Logic
• From IF to BI. A tale of dependence and separation
• Generalized quantifiers in dependence logic
• Hierarchies in Dependence Logic
• Hierarchies in independence logic
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Independence in database relations
• On strongly first-order dependencies
• On the complexity of team logic and its two-variable fragment
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• Team logic
• Team Logic and Second-Order Logic
• Upwards closed dependencies in team semantics

Cited in

(8)

• Compositionality of safe communication in systems of team automata
• Doubly strongly first order dependencies
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• Strongly first order, domain independent dependencies: the union-closed case
• Safe Dependency Atoms and Possibility Operators in Team Semantics
• Strongly first order disjunctive embedded dependencies in team semantics
• Doubly strongly first-order dependencies
• Upwards closed dependencies in team semantics

This page was built for publication: Safe dependency atoms and possibility operators in team semantics

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