scientific article; zbMATH DE number 1396726

MaRDI QIDQ4936675zbMATH OpenFDO

Authors S. I. Mardaev

Publication date 31 January 2000

Full work available at URL https://eudml.org/doc/187902

zbMATH Keywords

least fixed pointmodal logicpartially ordered Kripke modelspositive operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Fixed Points in Tense Models
• scientific article; zbMATH DE number 1923098
• Submodel-defining formulas
• Fixed points of formulas with double modalities
• Graded modal operators and fixed points

Cited in

(8)

• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Least fixed points in the Gödel-Löb logic
• Stage comparison, fixed points, and least fixed points in Kripke-Platek environments
• Submodel-defining formulas
• Definable fixed points in modal and temporal logics -- a survey
• scientific article; zbMATH DE number 1923098 (Why is no real title available?)
• Completeness and definability of a modal logic interpreted over iterated strict partial orders
• Fixed Points in Tense Models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4936675)