Dependence of variables construed as an atomic formula

DOI10.1016/J.APAL.2009.06.009MaRDI QIDQ636322zbMATH OpenOpenAlexFDO

Authors 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

dependence logicgame-theoretic semanticsHenkin quantifiersecond-order logic

Mathematics Subject Classification ID

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

Recommendations

• Dependence and independence
• On dependence logic
• Dependence logic. A new approach to independence friendly logic
• Expressivity and Complexity of Dependence Logic
• Functional dependencies between variables

Cites work

• A system which can define its own truth
• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Finite Axiomatizability using additional predicates
• Finite partially-ordered quantification
• Finite Partially‐Ordered Quantifiers
• scientific article; zbMATH DE number 611919 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• scientific article; zbMATH DE number 3074067 (Why is no real title available?)
• Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
• On the semantics of informational independence
• Satisfaction for n-th order languages defined in n-th order languages
• Signalling in IF games: a tricky business

Cited in

(8)

• Dependence and independence
• Boolean dependence logic and partially-ordered connectives
• Forcing, Multiverse and Realism
• Complexity of two-variable dependence logic and IF-logic
• Dependencies between quantifiers vs. dependencies between variables
• Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
• Supervenience, dependence, disjunction
• On the model theory of second-order objects

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

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