An open logical framework.

Furio Honsell Marina Lenisa Ivan Scagnetto Luigi Liquori Petar Maksimovic

Published in: J. Log. Comput. (2016)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
epistemic logic
linear logic
normative systems
higher order logic
multi dimensional
possibilistic logic
knowledge base
image sequences
high level
logic programming