Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.45.3.4.03 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] J. F. A. K. van Benthem, I. I. Humberstone, Halldén-completeness by Gluing of Kripke Frames, Notre Dame Journal of Formal Logic 24, No 4 (1983), pp. 426–430.
-
[2] M. Byrd, D. Ullrich,The extensions of BAlt3, Journal of Philosophical Logic 6 (1977), pp. 109–117.
-
[3] M. Byrd, The extensions of BAlt3-revisited, Journal of Philosophical Logic 7 (1978), pp. 407–413.