|
This article is cited in 2 scientific papers (total in 3 papers)
Definability of Least Fixed Points
S. I. Mardaev Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
Least fixed points of modal logic are studied. We introduce a class of Kripke models and prove that least fixed points of positive operators are definable in these. The class is widest of the known ones in which least fixed points of positive operators are definable.
Keywords:
modal logic, least fixed point, positive operator.
Received: 27.09.2000
Citation:
S. I. Mardaev, “Definability of Least Fixed Points”, Algebra Logika, 41:4 (2002), 429–458; Algebra and Logic, 41:4 (2002), 237–253
Linking options:
https://www.mathnet.ru/eng/al191 https://www.mathnet.ru/eng/al/v41/i4/p429
|
Statistics & downloads: |
Abstract page: | 333 | Full-text PDF : | 94 | References: | 62 | First page: | 1 |
|