Team Logic and Second-Order Logic

DOI10.1007/978-3-642-02261-6_19zbMath1246.03051OpenAlexW1518114393MaRDI QIDQ5902156

Juha Kontinen, Ville Nurmi

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_19

Mathematics Subject Classification ID

Related Items (14)

Axiomatizations of team logics ⋮ Unnamed Item ⋮ Alternating (in)dependence-friendly logic ⋮ Upwards closed dependencies in team semantics ⋮ Expressivity of imperfect information logics without identity ⋮ Unnamed Item ⋮ Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ 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 ⋮ On Strongly First-Order Dependencies

Cites Work

• On definability in dependence logic
• Compositional semantics for a language of imperfect information
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Team Logic and Second-Order Logic