scientific article; zbMATH DE number 1286447

zbMATH Open0914.03021MaRDI QIDQ4242895FDOQ4242895

S. I. Mardaev

Publication date: 11 May 1999

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

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

Recommendations

• Fixed points of modal schemes
• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Characterizations of negative definability in modal logic

zbMATH Keywords

Kripke modelsascending chain conditiondefinability of fixed pointsnegative modal scheme

Mathematics Subject Classification ID

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

Cited In (1)

• Fixed points of modal schemes

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 Q4242895)