C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Linear Logical Framework.
Iliano Cervesato
Frank Pfenning
Published in:
LICS (1996)
Keyphrases
</>
logical framework
inference rules
belief revision
reasoning tasks
linear logic
epistemic logic
normative systems
possibilistic logic
higher order logic
coalition logic
decision making
semi supervised