Expressivity of Many-Valued Modal Logics, Coalgebraically.

Marta Bílková Matej Dostál

Published in: WoLLIC (2016)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
situation calculus
default logic
modal operators
probabilistic model
model checking