On Coalgebraic Many-Valued Modal Logic.

Chun-Yu Lin Churn-Jung Liau

Published in: CoRR (2020)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
situation calculus
nonmonotonic logics
epistemic logic
autoepistemic logic
sequent calculus
conditional logic
model checking
default logic
dynamic logic
prime implicates