|
|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2006, Volume 6, Issue 1, Pages 70–76
(Mi vngu226)
|
|
|
|
Graded modal operators and fixed points
S. I. Mardaev Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
There is the well-known Fixed Point Theorem in the theory of modal logics. In the
article this theorem is generalized from monomodal case to graded modalities. The following
theorem is proved
Theorem. For any graded modalized operator $F_\varphi$, there is unique fixed point of the
operator $F_\varphi$ in every strictly partially ordered model with the ascending chain condition and
there is a graded formula $\omega$, which defines the fixed point in every such model. The formula
$\omega$ contains only those graded modalities, which are contained in $\varphi$.
Received: 02.11.2005
Citation:
S. I. Mardaev, “Graded modal operators and fixed points”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006), 70–76
Linking options:
https://www.mathnet.ru/eng/vngu226 https://www.mathnet.ru/eng/vngu/v6/i1/p70
|
| Statistics & downloads: |
| Abstract page: | 176 | | Full-text PDF : | 83 | | References: | 62 | | First page: | 1 |
|