Non-classical logics, proof theory and universal algebra
Results on definability of the fixed points of formula operators in Kripke models with graded modalities will be reported. Models with the ascending chain condition and models based on natural numbers will be considered.
Mail to Webmaster alc9@math.nsc.ru |
|Home Page| |English Part| |
Go to Home |