Login / Signup

A Logical Framework for Graded Predicates.

Petr CintulaCarles NogueraNicholas J. J. Smith
Published in: LORI (2017)
Keyphrases
  • logical framework
  • inference rules
  • belief revision
  • reasoning tasks
  • possibilistic logic
  • higher order logic
  • linear logic
  • epistemic logic
  • normative systems
  • first order logic
  • relational databases