Showing papers in "Mathematical Logic Quarterly in 1963"
••
TL;DR: In this article, a semantical analysis of modal logic ii and non-normal modal propositional calculi is presented, and the tableaux that leads to a decision procedure for the propositional calculus is considered.
Abstract: 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.
1,174 citations
••
31 citations
••
25 citations
••
22 citations
••
21 citations
••
6 citations
••
5 citations
••
5 citations
••
••
••
••
••
••
••
••
••