scientific article; zbMATH DE number 757639

From MaRDI portal

Revision as of 02:29, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4833771

Jump to:navigation, search

zbMath0824.03007MaRDI QIDQ4833771

Kosta Došen

Publication date: 23 May 1995

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

zbMATH Keywords

embeddings Kripke model normal modal logics propositional logics modal translations

Mathematics Subject Classification ID

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

Related Items (7)

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

This page was built for publication:

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