Dependence of variables construed as an atomic formula
type: Item
instance of: scholarly article
title: Dependence of variables construed as an atomic formula
zbMATH Open document ID: 1225.03026
author: Jouko Väänänen
author: Wilfrid Hodges
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C85
zbMATH DE Number: 5943623
zbMATH Keywords: dependence logic
zbMATH Keywords: game-theoretic semantics
zbMATH Keywords: Henkin quantifier
zbMATH Keywords: second-order logic
MaRDI profile type: Publication
full work available at URL: j.apal.2009.06.009
OpenAlex ID: W2018125577
cites work: Satisfaction for n-th order languages defined in n-th order languages
cites work: Finite Axiomatizability using additional predicates
cites work: Finite Partially‐Ordered Quantifiers
cites work: Q5732647
cites work: Q5691485
cites work: Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
cites work: Compositional semantics for a language of imperfect information
cites work: Q4362727
cites work: Q5755192
cites work: Q5813180
cites work: Q4298518
cites work: A system which can define its own truth
cites work: On the semantics of informational independence
cites work: Q3446107
cites work: Finite partially-ordered quantification
DOI: 10.1016/J.APAL.2009.06.009
description: scientific article; zbMATH DE number 5943623