scientific article
From MaRDI portal
Publication:2751820
zbMath0987.03016MaRDI QIDQ2751820
Publication date: 19 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic modal logicfrontal algebrasfrontonsintuitionistic temporal logictopological Heyting algebras
Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Temporal logic (03B44)
Related Items (2)
Intuitionistic logic and modality via topology ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia
This page was built for publication: