scientific article; zbMATH DE number 1323297

MaRDI QIDQ4255136zbMATH OpenFDO

Authors Carsten Grefe

Publication date 10 August 1999

zbMATH Keywords

dualityalgebraic semanticssplittingscanonicityintuitionistic modal logicpossible worlds semanticsfinite model propertycoatomslattice of normal extensionsrelativistic semantics

Mathematics Subject Classification ID

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

Cited in

(1)

• Oskar Becker and the modal translation of intuitionistic logic

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