Dependence of variables construed as an atomic formula

DOI10.1016/j.apal.2009.06.009zbMath1225.03026OpenAlexW2018125577MaRDI QIDQ636322

Jouko Väänänen, Wilfrid Hodges

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.06.009

zbMATH Keywords

Henkin quantifiersecond-order logicdependence logicgame-theoretic semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)

Related Items (5)

Boolean dependence logic and partially-ordered connectives ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ Forcing, Multiverse and Realism ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Supervenience, Dependence, Disjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the semantics of informational independence
• Finite Axiomatizability using additional predicates
• Compositional semantics for a language of imperfect information
• Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
• Finite Partially‐Ordered Quantifiers
• Satisfaction for n-th order languages defined in n-th order languages
• Finite partially-ordered quantification
• A system which can define its own truth

This page was built for publication: Dependence of variables construed as an atomic formula