Hyperboolean Algebras and Hyperboolean Modal Logic

DOI10.1080/11663081.1999.10510971MaRDI QIDQ4531582zbMATH OpenOpenAlexFDO

Authors Valentin Goranko, Dimiter Vakarelov

Publication date 30 January 2003

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1999.10510971

zbMATH Keywords

algebraic semanticsalgebras of complexesaxiomatizationBoolean algebras with operatorshyperboolean algebrashyperboolean modal logicKripke semanticspower structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Hyperfinite logics and non-standard extensions of Boolean algebras
• Algebras with hyperidentities of the variety of Boolean algebras
• On generalized intuitionistic fuzzy subhyperalgebras of Boolean hyperalgebras
• scientific article; zbMATH DE number 1814847
• scientific article; zbMATH DE number 1735914

Cites work

• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• An essay in combinatory dynamic logic
• Axiomatising the logic of computer programming
• Decidability for branching time
• Derivation rules as anti-axioms in modal logic
• Expressiveness and completeness of an interval tense logic
• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 92610 (Why is no real title available?)
• scientific article; zbMATH DE number 1735879 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• Modal logic with names
• Modal logics for incidence geometries
• Power structures
• SECOND-ORDER BOOLEAN ALGEBRAS
• The modal logic of inequality
• Varieties of complex algebras

Cited in

(8)

• Stone's representation theorem for Boolean hyperalgebras. Topological version
• Hybrid formulas and elementarily generated modal logics
• scientific article; zbMATH DE number 1850738 (Why is no real title available?)
• Hyperfinite logics and non-standard extensions of Boolean algebras
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• Relevant S is undecidable
• Relational patterns, partiality, and set lifting in modal semantics
• What is nominalistic mereology?

This page was built for publication: Hyperboolean Algebras and Hyperboolean Modal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531582)