scientific article; zbMATH DE number 432737
From MaRDI portal
Publication:3138864
algebras of programsBoolean algebra with operatorsBoolean modulesclosure algebrasdynamic algebrasmodal algebrasmodal logicmonadic algebrassurveytense algebras
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Recommendations
Cited in
(31)- The theory of Boolean algebras with an additional binary operation
- Unifying threads in Alfred Tarski's work
- Towards automating duality
- Mathematical modal logic: A view of its evolution
- Canonical extensions and ultraproducts of polarities
- Relation algebras as expanded FL-algebras
- Tribute to Bjarni Jónsson
- Canonical extensions: an algebraic approach to Stone duality
- An algebraic study of tense operators on Nelson algebras
- Boolean topological distributive lattices and canonical extensions
- On the complexity of the equational theory of residuated Boolean algebras
- scientific article; zbMATH DE number 1814847 (Why is no real title available?)
- Branching-time type operators on finite pseudo-Boolean algebras
- scientific article; zbMATH DE number 4035782 (Why is no real title available?)
- scientific article; zbMATH DE number 66911 (Why is no real title available?)
- scientific article; zbMATH DE number 1735910 (Why is no real title available?)
- scientific article; zbMATH DE number 1471990 (Why is no real title available?)
- scientific article; zbMATH DE number 1533635 (Why is no real title available?)
- Introducing Boolean Semilattices
- scientific article; zbMATH DE number 807882 (Why is no real title available?)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Discrete dualities for groupoids
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- On congruence-coherent Rees algebras and algebras with an operator
- On coatoms and complements in congruence lattices of unars with Mal'tsev operation
- Duality Theories for Boolean Algebras with Operators
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
- Bounded lattice expansions
- Boolean algebras arising from information systems
- Tense logics based on posets
- Betweenness algebras
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)
