scientific article; zbMATH DE number 937394
From MaRDI portal
Publication:4896535
zbMath0882.03022MaRDI QIDQ4896535
Publication date: 1 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite axiomatizabilityintermediate predicate logicKripke bundlesemantical incompletenessmetaframe semantics
Related Items (1)
This page was built for publication: