scientific article

From MaRDI portal

Publication:3955353

Jump to:navigation, search

zbMath0493.03037MaRDI QIDQ3955353

Žarko Mijajlović

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Boolean equations quantifier-free fragment Horn sentence modal logic S5 Vaught's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras (Boolean rings) (06E99) Logical aspects of Boolean algebras (03G05) Interpolation, preservation, definability (03C40)

Related Items (2)

Invertible incline matrices and Cramer's rule over inclines ⋮ On invertible matrices over antirings

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3955353&oldid=17654676"