scientific article; zbMATH DE number 757639

zbMath0824.03007MaRDI QIDQ4833771

Kosta Došen

Publication date: 23 May 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

embeddingsKripke modelnormal modal logicspropositional logicsmodal translations

Mathematics Subject Classification ID

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

Related Items

Monotone subintuitionistic logic: duality and transfer results, Binary modal companions for subintuitionistic logics, Implication via spacetime, Lewis meets Brouwer: constructive strict implication, Choice-free topological duality for implicative lattices and Heyting algebras, A closer look at some subintuitionistic logics, Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics