Logics for some dynamic spaces-II1

Khan, Md. Aquil

Please use this identifier to cite or link to this item: https://dspace.iiti.ac.in/handle/123456789/6693

Full metadata record

DC Field	Value	Language
dc.contributor.author	Khan, Md. Aquil	en_US
dc.date.accessioned	2022-03-17T01:00:00Z	-
dc.date.accessioned	2022-03-21T10:50:13Z	-
dc.date.available	2022-03-17T01:00:00Z	-
dc.date.available	2022-03-21T10:50:13Z	-
dc.date.issued	2015	-
dc.identifier.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	en_US
dc.identifier.issn	0955-792X	-
dc.identifier.other	EID(2-s2.0-84942114018)	-
dc.identifier.uri	https://doi.org/10.1093/logcom/exu056	-
dc.identifier.uri	https://dspace.iiti.ac.in/handle/123456789/6693	-
dc.description.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.	en_US
dc.language.iso	en	en_US
dc.publisher	Oxford University Press	en_US
dc.source	Journal of Logic and Computation	en_US
dc.subject	Formal logic	en_US
dc.subject	Finite sequence	en_US
dc.subject	I-frames	en_US
dc.subject	Modal logic	en_US
dc.subject	Modal systems	en_US
dc.subject	Proof procedures	en_US
dc.subject	Rough set theory	en_US
dc.title	Logics for some dynamic spaces-II1	en_US
dc.type	Journal Article	en_US
Appears in Collections:	Department of Mathematics

Files in This Item:

There are no files associated with this item.

Show simple item record

Altmetric Badge: