scispace - formally typeset
Search or ask a question

Showing papers in "Mathematical Logic Quarterly in 1963"


Journal ArticleDOI
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


Journal ArticleDOI

34 citations