Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The proof of sufficiency, which is omitted by many, proceeds by constructing a normal characteristic matrix by Lindenbaum's method. The tableaux that leads to a decision procedure for the propositional calculi is considered.