Convergence of positive schemes in S4 and Int

DOI10.1007/BF00739995zbMath0815.03009MaRDI QIDQ1842382

S. I. Mardaev

Publication date: 17 May 1995

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

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

zbMATH Keywords

intuitionistic logicmodal logic S4modal positive scheme

Mathematics Subject Classification ID

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

Related Items (1)

Fixed-Point Elimination in the Intuitionistic Propositional Calculus

Cites Work

• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus
• Unnamed Item

This page was built for publication: Convergence of positive schemes in S4 and Int