scientific article; zbMATH DE number 597726
From MaRDI portal
Publication:4298776
zbMath0795.03037MaRDI QIDQ4298776
Mohua Banerjee, Mihir Kumar Chakraborty
Publication date: 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order theoryrough setapproximation spacerough logicmodal necessity operatorrough quantifiersrough truthrough validity
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Set theory (03E99)
This page was built for publication: