On modal logics conservative over intuitionistic predicate calculus

From MaRDI portal

Publication:1182403

Jump to:navigation, search

zbMath0784.03017MaRDI QIDQ1182403

Pavel Naumov

Publication date: 28 June 1992

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

normal modal logic modal logic S4 intuitionistic logic INT QGrz QINT QS4 quantificational extensions

Mathematics Subject Classification ID

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

Related Items (1)

This page was built for publication: On modal logics conservative over intuitionistic predicate calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1182403&oldid=13245987"