• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 4 публикации
Сортировка:
по названию
по году
Статья
Kikot S., Zolin E. Journal of Applied Logic. 2013. Vol. 11. No. 2. P. 190-216.

We present an algorithmically efficient criterion of modal definability for first-order existential conjunctive formulas with several free variables. Then we apply it to establish modal definability of some family of first-order $\forall\exists$-formulas. Finally, we use our definability results to show that, in any expressive description logic, the problem of answering modally definable conjunctive queries is polynomially reducible to the problem of knowledge base consistency.

Добавлено: 14 июня 2018
Статья
Gabbay D., Shapirovsky I., Shehtman V. B. Journal of Applied Logic. 2014. Vol. 12. No. 4. P. 570-583.

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.

Добавлено: 24 марта 2015
Статья
Pietarinen A., Bellucci F. Journal of Applied Logic. 2017. Vol. 25. No. S. P. S3-S24.
Добавлено: 16 сентября 2018
Статья
Lourié B., Митренина О. В. Journal of Applied Logic. 2017.
Добавлено: 18 декабря 2017