Team Logic and Second-Order Logic

DOI10.1007/978-3-642-02261-6_19zbMath1246.03051MaRDI 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

03B60: Other nonclassical logic

Related Items

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

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