Publication:5104713
From MaRDI portal
Publication date: 15 September 2022
nucleus; algebraic semantics; Heyting algebra; Kripke semantics; intuitionistic logic; inquisitive logic; lax logic; Beth semantics
03B45: Modal logic (including the logic of norms)