کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662937 1345211 2014 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Products of modal logics and tensor products of modal algebras
ترجمه فارسی عنوان
محصولات منطق مودال و محصولات تانسور جبر مدال
کلمات کلیدی
محصول منطق مدال، محصول تنسور، انحراف منطقی، جبر مدال، اموال مدل محدود فیلتر کردن، منطق جدول
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. Hasimoto in 2000; however, his paper remained unnoticed until recently. In the present paper we quote some important Hasimoto's results, and reconstruct the product operation in an algebraic setting: the Boolean part of the resulting modal algebra is exactly the tensor product of original algebras (regarded as Boolean rings). Also, we propose a filtration technique for Kripke models based on tensor products and obtain some decidability results.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 570-583
نویسندگان
, , ,