Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited

Fan Yang. Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. In Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Volume 9803 of Lecture Notes in Computer Science, pages 410-431, Springer, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.