scientific article; zbMATH DE number 1396726

zbMATH Open0932.03019MaRDI QIDQ4936675FDOQ4936675

Authors: 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?)

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

zbMATH Keywords

positive operatormodal logicleast fixed pointpartially ordered Kripke models

Mathematics Subject Classification ID

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

Cited In (7)

• Completeness and definability of a modal logic interpreted over iterated strict partial orders
• Submodel-defining formulas
• Fixed Points in Tense Models
• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Least fixed points in the Gödel-Löb logic
• Definable fixed points in modal and temporal logics -- a survey
• Title not available (Why is that?)

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)