A General Lindström Theorem for Some Normal Modal Logics.

Sebastian Enqvist

Published in: Logica Universalis (2013)

Keyphrases

modal logic
inference rules
decision procedures
special case
temporal logic
epistemic logic
probability distribution
model checking