Model theory for tense logic: Saturated and special models with applications to the tense hierarchy Hirokazu Nishimura OriginalPaper Pages: 89 - 98
Intuitionistic modal logics incompatible with the law of the excluded middle Dimiter Vakarelov OriginalPaper Pages: 103 - 111
On a second order propositional operator in intuitionistic logic A. S. Troelstra OriginalPaper Pages: 113 - 139
On the degree of complexity of sentential logics. A couple of examples Jacek HawranekJan Zygmunt OriginalPaper Pages: 141 - 153
The lattice of strengthenings of a strongly finite consequence operation Wiesław Dziobiak OriginalPaper Pages: 177 - 193
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments Wiesław Dziobiak OriginalPaper Pages: 195 - 198