Login / Signup

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information.

Mehrnoosh SadrzadehRoy Dyckhoff
Published in: MFPS (2009)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • logic programming
  • automated reasoning