scientific article; zbMATH DE number 1471987
From MaRDI portal
Publication:4489071
zbMath0957.03062MaRDI QIDQ4489071
Publication date: 22 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticsontologyequationally definable principal congruencesformalization of modal logic Kpropositional calculus with identity
This page was built for publication: