Publication:4487297
From MaRDI portal
zbMath0947.03026MaRDI QIDQ4487297
Publication date: 7 November 2000
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Alternative Semantics for Visser’s Propositional Logics, Monotone subintuitionistic logic: duality and transfer results, Implication via spacetime, Sequent calculi for Visser's propositional logics, A closer look at some subintuitionistic logics, Normal modal substructural logics with strong negation