Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra.

Lutz Schröder Dirk Pattinson

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

modal logic
learning algorithm
decision procedures
significant improvement
computational cost
temporal logic
default logic
multi agent
computational complexity
answer set programming