Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
From MaRDI portal
Publication:1337609
DOI10.1007/BF01053246zbMath0809.03010MaRDI QIDQ1337609
Publication date: 10 November 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work