scientific article
From MaRDI portal
Publication:3968474
zbMath0502.68024MaRDI QIDQ3968474
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke models of the first order modal logic S5locally finite regular generalized cylindric set algebratheories of first order logic
Semantics in the theory of computing (68Q55) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (3)
This page was built for publication:
