A remark on negation in dependence logic
From MaRDI portal
Publication:628802
DOI10.1215/00294527-2010-036zbMATH Open1216.03048OpenAlexW2118021854MaRDI QIDQ628802FDOQ628802
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
Recommendations
- Negation and partial axiomatizations of dependence and independence logic revisited
- Negation and partial axiomatizations of dependence and independence logic revisited
- 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 (15)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions
- Supervenience, Dependence, Disjunction
- Model-checking games for logics of imperfect information
- Classical negation and game-theoretical semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Epistemic operators in dependence logic
- Structural completeness in propositional logics of dependence
- Title not available (Why is that?)
- Compositional natural language semantics using independence friendly logic or dependence logic
- Transition semantics: the dynamics of dependence logic
- Axiomatizing first-order consequences in independence logic
- Complexity of validity for propositional dependence logics
- Negation and partial axiomatizations of dependence and independence logic revisited
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)
