scientific article

From MaRDI portal

Publication:3744149

Jump to:navigation, search

zbMath0606.03004MaRDI QIDQ3744149

Kosta Došen

Publication date: 1985

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

zbMATH Keywords

Kripke-style models single-conclusion property Heyting S4 Heyting S5 higher-level sequent formulation of S5

Mathematics Subject Classification ID

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

This page was built for publication:

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