scientific article; zbMATH DE number 757639

MaRDI QIDQ4833771zbMATH OpenFDO

Authors Kosta Došen

Publication date 23 May 1995

zbMATH Keywords

embeddingsKripke modelmodal translationsnormal modal logicspropositional logics

Mathematics Subject Classification ID

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

Cited in

(9)

• A closer look at some subintuitionistic logics
• Lewis meets Brouwer: constructive strict implication
• Monotone subintuitionistic logic: duality and transfer results
• Binary modal companions for subintuitionistic logics
• Implication via spacetime
• A Modal Transcription of the Hausdorff Residue
• Constructive embedding from extensions of logics of strict implication into modal logics
• Choice-free topological duality for implicative lattices and Heyting algebras
• On weak Lewis distributive lattices

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