A Lindström characterisation of the guarded fragment and of modal logic with a global modality.

Martin Otto Robert Piro

Published in: Advances in Modal Logic (2008)

Keyphrases

modal logic
temporal logic
inference rules
classical logic
nonmonotonic logics
epistemic logic
conditional logic
dynamic logic
situation calculus
default logic
first order logic
autoepistemic logic
bayesian networks
conjunctive queries
explanation based generalization