scientific article
From MaRDI portal
Publication:3475244
zbMath0698.03007MaRDI QIDQ3475244
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
canonical framefirst-order super- intuitionistic modal logicsgeneral characterization theoremnormal BD modal logics
This page was built for publication: