scientific article; zbMATH DE number 432737
From MaRDI portal
Publication:3138864
surveymodal logicmodal algebrasBoolean algebra with operatorsalgebras of programsclosure algebrasmonadic algebrasBoolean modulestense algebrasdynamic algebras
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Recommendations
Cited in
(29)- scientific article; zbMATH DE number 1471990 (Why is no real title available?)
- On the complexity of the equational theory of residuated Boolean algebras
- scientific article; zbMATH DE number 7552279 (Why is no real title available?)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- scientific article; zbMATH DE number 66911 (Why is no real title available?)
- Canonical extensions: an algebraic approach to Stone duality
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Unifying threads in Alfred Tarski's work
- An algebraic study of tense operators on Nelson algebras
- Bounded lattice expansions
- Boolean algebras arising from information systems
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
- Mathematical modal logic: A view of its evolution
- scientific article; zbMATH DE number 807882 (Why is no real title available?)
- Boolean topological distributive lattices and canonical extensions
- On coatoms and complements in congruence lattices of unars with Mal'tsev operation
- On congruence-coherent Rees algebras and algebras with an operator
- scientific article; zbMATH DE number 1814847 (Why is no real title available?)
- Branching-time type operators on finite pseudo-Boolean algebras
- Relation algebras as expanded FL-algebras
- Duality Theories for Boolean Algebras with Operators
- Canonical extensions and ultraproducts of polarities
- scientific article; zbMATH DE number 1735910 (Why is no real title available?)
- The theory of Boolean algebras with an additional binary operation
- Towards automating duality
- scientific article; zbMATH DE number 4035782 (Why is no real title available?)
- scientific article; zbMATH DE number 1533635 (Why is no real title available?)
- Introducing Boolean Semilattices
- Tribute to Bjarni Jónsson
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138864)
