scientific article
From MaRDI portal
Publication:3574474
zbMath1203.03042MaRDI QIDQ3574474
Publication date: 9 July 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
independence-friendly logicsecond-order logicgame-theoretic characterizationlogic of functional dependencies
Related Items (11)
Doubly strongly first order dependencies ⋮ Epistemic operators in dependence logic ⋮ 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 ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ An \(n\)-player semantic game for an \(n+1\)-valued logic ⋮ Expressivity and Complexity of Dependence Logic ⋮ Supervenience, Dependence, Disjunction
This page was built for publication:
