scientific article; zbMATH DE number 1396726

zbMATH Open0932.03019MaRDI QIDQ4936675FDOQ4936675

S. I. Mardaev

Publication date: 31 January 2000

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

positive operatormodal logicleast fixed pointpartially ordered Kripke models

Mathematics Subject Classification ID

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

Cited In (3)

• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Least fixed points in the Gödel-Löb logic
• Title not available (Why is that?)

   Recommendations

• Fixed Points in Tense Models 👍 👎
• Title not available (Why is that?) 👍 👎
• Submodel-defining formulas 👍 👎
• Fixed points of formulas with double modalities 👍 👎
• Graded modal operators and fixed points 👍 👎

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)