Login / Signup

Assertion and hypothesis: a logical framework for their opposition relations.

Massimiliano CarraraDaniele ChiffiCiro De Florio
Published in: Log. J. IGPL (2017)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • linear logic
  • epistemic logic
  • normative systems
  • coalition logic
  • multi agent systems
  • relational databases
  • description logics
  • contextual information