A remark on negation in dependence logic

DOI10.1215/00294527-2010-036zbMath1216.03048OpenAlexW2118021854MaRDI QIDQ628802

Jouko Väänänen, Juha Kontinen

Publication date: 7 March 2011

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-036

zbMATH Keywords

independence-friendly logicdependence logicteam

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

Related Items (12)

Structural completeness in propositional logics of dependence ⋮ Model-checking games for logics of imperfect information ⋮ Epistemic operators in dependence logic ⋮ Compositional natural language semantics using independence friendly logic or dependence logic ⋮ Axiomatizing first-order consequences in independence logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Complexity of validity for propositional dependence 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 ⋮ Supervenience, Dependence, Disjunction

This page was built for publication: A remark on negation in dependence logic