New Modification of the Subformula Property for a Modal Logic
| dc.contributor.author | Takano, Mitio | |
| dc.date.accessioned | 2021-05-05T15:57:50Z | |
| dc.date.available | 2021-05-05T15:57:50Z | |
| dc.date.issued | 2020-11-04 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/35377 | |
| dc.description.abstract | A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown ([2] and [4]). The finite model property as well as decidability for the logic follows from this. | en |
| dc.language.iso | en | |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;3 | en |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | |
| dc.subject | subformula property | en |
| dc.subject | modal logic | en |
| dc.subject | sequent calculus | en |
| dc.subject | scope of □ | en |
| dc.title | New Modification of the Subformula Property for a Modal Logic | en |
| dc.type | Other | |
| dc.page.number | 255-268 | |
| dc.contributor.authorAffiliation | Niigata University Niigata 950-2181, Japan | en |
| dc.identifier.eissn | 2449-836X | |
| dc.references | [1] G. E. Hughes, M. J. Cresswell, A new introduction to modal logic, Routledge (1996), DOI: http://dx.doi.org/10.4324/9780203028100 | en |
| dc.references | [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. | en |
| dc.references | [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 | en |
| dc.references | [4] M. Takano, A modified subformula property for the modal logic S4.2, Bulletin of the Section of Logic, vol. 48(1) (2019), pp. 19–28, DOI: http://dx.doi.org/10.18778/0138-0680.48.1.02 | en |
| dc.contributor.authorEmail | takano@emeritus.niigata-u.ac.jp | |
| dc.identifier.doi | 10.18778/0138-0680.2020.15 | |
| dc.relation.volume | 49 |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0