Fixed points of modal schemes

DOI10.1007/BF02259825zbMath0795.03038MaRDI QIDQ1317626

S. I. Mardaev

Publication date: 12 April 1994

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

zbMATH Keywords

propositional modal logicleast fixed point\(\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)

Related Items (1)

Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic

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