1. Главная
  2. Публикации
  3. Decidability of modal logics s4 ? ?n,s4 ? ?n+1 W.R.T. admissible inference rules

Decidability of modal logics s4 ? ?n,s4 ? ?n+1 W.R.T. admissible inference rules

Описание

Тип публикации: статья из журнала

Год издания: 2001

Аннотация: The paper examines hypotheses concerning decidability w.r.t. admissibility for some special modal logics (see [1]). We prove decidability w.r.t. admissible rules for the logics S4 ? ?N+1, generated by all finite, rooted, re?exive and transitive frames, maximal clusters of which have at most N elements. Moreover there is a proof givПоказать полностьюen for decidability w.r.t. admissible rules for modal logics S4 ? ?N. Their characteristic classes are finite, rooted, re?exive, transitive frames, which have at most N maximal clusters.

Ссылки на полный текст

Издание

Журнал: Bulletin of the Section of Logic

Выпуск журнала: Vol. 30, Is. 4

Номера страниц: 181-189

Персоны

  • Rutskiy A.N. (Department of Mathematics and Informatics, Krasnoyarsk University, pr. Svobodnyi 79, 660062, Krasnoyarsk, Russian Federation)

Вхождение в базы данных