Team Logic and Second-Order Logic

DOI10.3233/FI-2011-386zbMath1250.03048OpenAlexW3022736242MaRDI QIDQ5894359

Ville Nurmi, Juha Kontinen

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

functional dependencesecond-order logicdependence logicteam logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (14)

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 ⋮ Complexity of Propositional Independence and Inclusion Logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Unnamed Item ⋮ Expressing second-order sentences in intuitionistic dependence logic ⋮ On the complexity of team logic and its two-variable fragment ⋮ Propositional team logics ⋮ Classical negation and game-theoretical semantics ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Expressivity and Complexity of Dependence Logic ⋮ Canonical Models and the Complexity of Modal Team Logic

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