The connective of necessity of modal logic S5 is metalogical.

Published in: Notre Dame J. Formal Log. (1983)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
conditional logic
autoepistemic logic
sequent calculus
background knowledge
initial state
description logic alc