Free S5 algebras

DOI10.1305/ndjfl/1093888226zbMath0368.02023OpenAlexW1968163268MaRDI QIDQ1242891

Alfred Horn

Publication date: 1978

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888226

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05)

Related Items (3)

Nonclassical probability and convex hulls ⋮ Admissible rules for pretable modal logics ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: Free S5 algebras