Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/6693
| Title: | Logics for some dynamic spaces-II1 |
| Authors: | Khan, Md. Aquil |
| Keywords: | Formal logic;Finite sequence;I-frames;Modal logic;Modal systems;Proof procedures;Rough set theory |
| Issue Date: | 2015 |
| Publisher: | Oxford University Press |
| Citation: | Khan, A., & Banerjee, M. (2015). Logics for some dynamic spaces-II1. Journal of Logic and Computation, 25(3), 857-878. doi:10.1093/logcom/exu056 |
| Abstract: | Motivated from reasoning in rough set theory, we have introduced and studied proof-theoretic properties of a class of logics L(T,I) in the first part of this article. These are logics with models based on 'dynamic I spaces', which are finite sequences of Kripke I frames with a common domain, I being any of the normal modal systems K, K4, T, B, S4, KTB, KB4, S5. This article presents the second part of the study on L(T,I), where we focus on decidability issues. © 2015 The Author. |
| URI: | https://doi.org/10.1093/logcom/exu056 https://dspace.iiti.ac.in/handle/123456789/6693 |
| ISSN: | 0955-792X |
| Type of Material: | Journal Article |
| Appears in Collections: | Department of Mathematics |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: