A Logical Framework with Dependently Typed Records.

Thierry Coquand Randy Pollack Makoto Takeyama

Published in: TLCA (2003)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
higher order
epistemic logic
higher order logic
linear logic
normative systems
artificial intelligence
description logics
situation calculus
possibilistic logic
coalition logic