A remark on negation in dependence logic

DOI10.1215/00294527-2010-036MaRDI QIDQ628802zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Jouko Väänänen

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)

Recommendations

• scientific article; zbMATH DE number 3978447
• scientific article; zbMATH DE number 859801
• A Variety of DeMorgan Negations in Relevant Logics
• scientific article; zbMATH DE number 724629
• On definability in dependence logic
• On dependence logic
• On natural deduction in dependence logic
• scientific article; zbMATH DE number 4193621

Cited in

(14)

• Model-checking games for logics of imperfect information
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• State-based modal logics for free choice
• Classical negation and game-theoretical semantics
• scientific article; zbMATH DE number 3978447 (Why is no real title available?)
• scientific article; zbMATH DE number 859801 (Why is no real title available?)
• Epistemic operators in dependence logic
• Structural completeness in propositional logics of dependence
• scientific article; zbMATH DE number 7325813 (Why is no real title available?)
• Compositional natural language semantics using independence friendly logic or dependence logic
• Supervenience, dependence, disjunction
• Axiomatizing first-order consequences in independence logic
• Complexity of validity for propositional dependence logics
• Dynamic logics of imperfect information: from teams and games to transitions

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

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