A Logical Framework with Commutative and Non-commutative Subexponentials.

Max I. Kanovich Stepan L. Kuznetsov Vivek Nigam Andre Scedrov

Published in: IJCAR (2018)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
possibilistic logic
linear logic
machine learning
learning algorithm
higher order
epistemic logic
normative systems
higher order logic
coalition logic