Team logic and second-order logic

DOI10.3233/FI-2011-386MaRDI QIDQ5894359zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Ville Nurmi

Publication date 22 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-386

zbMATH Keywords

dependence logicfunctional dependencesecond-order logicteam logic

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
• Dependence logic. A new approach to independence friendly logic

Cited in

(22)

• Expressing second-order sentences in intuitionistic dependence logic
• Doubly strongly first order dependencies
• On the expressive power of TeamLTL and first-order team logic over hyperproperties
• Separation logic and logics with team semantics
• Enumerating teams in first-order team logics
• Classical negation and game-theoretical semantics
• Complexity of Propositional Independence and Inclusion Logic
• Team building in dependence
• Team logic
• On the complexity of team logic and its two-variable fragment
• On quantified propositional logics and the exponential time hierarchy
• Dependency Concepts up to Equivalence.
• Canonical models and the complexity of modal team logic
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Expressivity and Complexity of Dependence Logic
• Propositional team logics
• Team Logic and Second-Order Logic
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Logics with probabilistic team semantics and the Boolean negation
• Strongly first order disjunctive embedded dependencies in team semantics
• Logics with probabilistic team semantics and the Boolean negation
• Doubly strongly first-order dependencies

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 Q5894359)