Logics for classes of Boolean monoids

DOI10.1023/B:JLLI.0000028336.64373.f6zbMath1048.03052MaRDI QIDQ1876106

Lee Pike, Gerard Allwein, Hilmi Demir

Publication date: 16 August 2004

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

Kripke framescorrespondence theoryalgebras of relationsBoolean monoidsCMOS circuitsrelative modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25)

Related Items

Distributed Relation Logic