scientific article; zbMATH DE number 1163949
From MaRDI portal
Publication:4395573
zbMath0897.03042MaRDI QIDQ4395573
Publication date: 11 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completeness theoremduality operatorweak semanticsbranched quantifiersaxiomatizable approximations for logics with additional quantifiers
This page was built for publication:
