scientific article
From MaRDI portal
Publication:4039140
zbMath0777.03007MaRDI QIDQ4039140
Publication date: 8 August 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
possible worlds semanticssemanticsintuitionistic logicsentential calculus with identityintuitionistic sentential calculusepistemic valuations
This page was built for publication: