Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4

DOI10.1023/A:1005100510979zbMath0960.03015OpenAlexW1542490229MaRDI QIDQ1300009

Saverio Cittadini, Fabio Bellissima

Publication date: 7 September 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005100510979

zbMATH Keywords

coversaxiomatization\(p\)-morphismtabular extension of K4transitive Kripke frames

Mathematics Subject Classification ID

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

This page was built for publication: Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4