Strongly first order disjunctive embedded dependencies in team semantics

DOI10.1007/978-3-032-04587-4_16MaRDI QIDQ6884743zbMATH OpenFDO

Authors Pietro Galliani

Publication date 15 December 2025

Full work available at URL https://doi.org/10.1007/978-3-032-04587-4_16

zbMATH Keywords

higher-order logicnon-classical logicteam semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• An atom’s worth of anonymity
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Characterizing strongly first order dependencies: the non-jumping relativizable case
• Compositional semantics for a language of imperfect information
• Decidability of predicate logics with team semantics
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Doubly strongly first-order dependencies
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 1142327 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 2241907 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On strongly first-order dependencies
• Polyteam semantics
• Safe dependency atoms and possibility operators in team semantics
• Strongly first order, domain independent dependencies: the union-closed case
• Team logic and second-order logic
• Upwards closed dependencies in team semantics

This page was built for publication: Strongly first order disjunctive embedded dependencies in team semantics

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