On a Categorical Framework for Coalgebraic Modal Logic.

Liang-Ting Chen Achim Jung

Published in: MFPS (2014)

Keyphrases

modal logic
inference rules
main contribution
temporal logic
probabilistic model
classical logic
decision procedures
data sets
domain knowledge
nonmonotonic logics