Fixed points of modal schemes

DOI10.1007/BF02259825MaRDI QIDQ1317626zbMATH OpenFDO

Authors S. I. Mardaev

Publication date 12 April 1994

Published in Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

least fixed pointpropositional modal logic\(\Sigma\)-formula\(\Sigma\)-schemescheme over a transitive Kripke model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Fixed points of modal DS-formulas
• scientific article; zbMATH DE number 1286447
• Submodel-defining formulas
• Least fixed points in the Gödel-Löb logic

Cited in

(7)

• Graded modal operators and fixed points
• scientific article; zbMATH DE number 5186437 (Why is no real title available?)
• Fixed Points in Tense Models
• Fixed points of formulas with double modalities
• Fixed points of modal DS-formulas
• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Least fixed points in the Gödel-Löb logic

This page was built for publication: Fixed points of modal schemes

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