Hybrid Extensions in a Logical Framework.

Taus Brock-Nannestad Nicolas Guenot Agata Murawska Carsten Schürmann

Published in: LFMTP (2014)

Keyphrases

logical framework
inference rules
argumentation frameworks
belief revision
reasoning tasks
possibilistic logic
linear logic
normative systems
higher order logic
epistemic logic
general purpose
special case
temporal reasoning
theorem prover
coalition logic