Login / Signup

On the logic of informational independence and its applications.

Gabriel Sandu
Published in: J. Philos. Log. (1993)
Keyphrases
  • modal logic
  • logic programming
  • sound and complete axiomatization
  • defeasible logic
  • predicate logic
  • machine learning
  • conditional independence
  • multi valued
  • classical logic
  • logic synthesis
  • logical framework