Bulletin of the Section of Logic > 2020 > 49 > 3 > 255-268
Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.2020.15 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] G. E. Hughes, M. J. Cresswell, A new introduction to modal logic, Routledge (1996), DOI: http://dx.doi.org/10.4324/9780203028100
-
[2] M. Takano, A modified subformula property for the modal logics K5 and K5D, Bulletin of the Section of Logic, vol. 30(2) (2001), pp. 115–122.
-
[3] M. Takano, A semantical analysis of cut-free calculi for modal logics, Reports on Mathematical Logic, vol. 53 (2018), pp. 43–65, DOI: http://dx.doi.org/10.4467/20842589RM.18.003.8836