Back to Search
Start Over
Definability of Least Fixed Points.
- Source :
- Algebra & Logic; Jul2002, Vol. 41 Issue 4, p237-253, 17p
- Publication Year :
- 2002
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00025232
- Volume :
- 41
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Algebra & Logic
- Publication Type :
- Academic Journal
- Accession number :
- 49917954
- Full Text :
- https://doi.org/10.1023/A:1020156621295