scientific article; zbMATH DE number 432737
zbMATH Open0811.06012MaRDI QIDQ3138864FDOQ3138864
Authors: Bjarni Jónsson 
Publication date: 7 May 1995
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (29)
- Title not available (Why is that?)
- On the complexity of the equational theory of residuated Boolean algebras
- Title not available (Why is that?)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Title not available (Why is that?)
- Canonical extensions: an algebraic approach to Stone duality
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Bounded lattice expansions
- Unifying threads in Alfred Tarski's work
- An algebraic study of tense operators on Nelson algebras
- Boolean algebras arising from information systems
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
- Title not available (Why is that?)
- Mathematical modal logic: A view of its evolution
- On coatoms and complements in congruence lattices of unars with Mal'tsev operation
- On congruence-coherent Rees algebras and algebras with an operator
- Boolean topological distributive lattices and canonical extensions
- Title not available (Why is that?)
- Branching-time type operators on finite pseudo-Boolean algebras
- Duality Theories for Boolean Algebras with Operators
- Relation algebras as expanded FL-algebras
- Canonical extensions and ultraproducts of polarities
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards automating duality
- The theory of Boolean algebras with an additional binary operation
- Title not available (Why is that?)
- 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)
