A many-sorted polyadic modal logic.

Ioana Leustean Natalia Moanga

Published in: CoRR (2018)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
default logic
situation calculus
epistemic logic
explanation based generalization
artificial intelligence
cooperative
dynamic logic
conditional logic
description logic alc