Back to Search
Start Over
Logics for some dynamic spaces-II.
- Source :
- Journal of Logic & Computation; Jun2015, Vol. 25 Issue 3, p857-878, 22p
- Publication Year :
- 2015
-
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. [ABSTRACT FROM AUTHOR]
- Subjects :
- KRIPKE semantics
MATHEMATICAL logic
SET theory
REASONING
ROUGH sets
Subjects
Details
- Language :
- English
- ISSN :
- 0955792X
- Volume :
- 25
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Journal of Logic & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 103300022
- Full Text :
- https://doi.org/10.1093/logcom/exu056