On some ascending chains of brouwerian modal logics |
| |
Authors: | Michael J White |
| |
Institution: | (1) Department of Philosophy and Humanities, Arizona State University, USA |
| |
Abstract: | This paper specifies classes of framesmaximally omnitemporally characteristic for Thomas' normal modal logicT
2
+
and for each logic in the ascending chain of Segerberg logics investigated by Segerberg and Hughes and Cresswell. It is shown that distinct a,scending chains of generalized Segerberg logics can be constructed from eachT
n
+
logic (n 2). The set containing allT
n
+
and Segerberg logics can be totally- (linearly-) ordered but not well-ordered by the inclusion relation. The order type of this ordered set is
*( + 1). Throughout the paper my approach is fundamentally semantical.I should like to thank Professor G. E. Hughes for helpful comments on an earlier draft of this paper. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|