Publication:4443183
From MaRDI portal
zbMath1038.03532MaRDI QIDQ4443183
Marcus Kracht, Tomasz Kowalski
Publication date: 2001
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
03B44: Temporal logic
Related Items