Team Logic and Second-Order Logic

DOI10.1007/978-3-642-02261-6_19MaRDI QIDQ5902156zbMATH OpenOpenAlexFDO

Authors 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

Other nonclassical logic (03B60)

Recommendations

• Team logic and second-order logic
• Team logic
• Team building in dependence
• Expressing second-order sentences in intuitionistic dependence logic
• Expressivity and Complexity of Dependence Logic

Cites work

• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Finite partially-ordered quantification
• Finite Partially‐Ordered Quantifiers
• scientific article; zbMATH DE number 3361843 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• On definability in dependence logic

Cited in

(23)

• Expressing second-order sentences in intuitionistic dependence logic
• Expressivity of imperfect information logics without identity
• Safe dependency atoms and possibility operators in team semantics
• Team semantics for interventionist counterfactuals: observations vs. interventions
• Enumerating teams in first-order team logics
• Axiomatizations of team logics
• Team building in dependence
• Dynamic logics of imperfect information: from teams and games to transitions
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• Team logic
• Dependency Concepts up to Equivalence.
• On strongly first-order dependencies
• On the succinctness of atoms of dependency
• Propositional team logics
• Team logic and second-order logic
• 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
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Compactness in team semantics
• Guarded hybrid team logics
• On definability in dependence logic
• Upwards closed dependencies in team semantics

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

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