Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations.

Denisa Diaconescu

Published in: Fundam. Informaticae (2020)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
situation calculus
default logic
epistemic logic
equivalence relation
autoepistemic logic
dynamic logic
modal operators
search algorithm