Login / Signup

Adequate and Computational Encodings in the Logical Framework Dedukti.

Thiago Felicissimo
Published in: FSCD (2022)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • possibilistic logic
  • linear logic
  • normative systems
  • higher order logic
  • qualitative and quantitative