Dualities for Algebras of Fitting's Many-Valued Modal Logics.

Yoshihiro Maruyama

Published in: Fundam. Informaticae (2011)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
situation calculus
nonmonotonic logics
autoepistemic logic
least squares
probability distribution