Hyperboolean Algebras and Hyperboolean Modal Logic

DOI10.1080/11663081.1999.10510971zbMath1003.03017OpenAlexW1964089759MaRDI QIDQ4531582

Valentin F. 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 semanticsKripke semanticsaxiomatizationBoolean algebras with operatorspower structuresalgebras of complexeshyperboolean algebrashyperboolean modal logic

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)

Related Items (1)

What is nominalistic mereology?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• Decidability for branching time
• Axiomatising the logic of computer programming
• Modal logic with names
• Generalized quantifiers and modal logic
• Power structures
• Expressiveness and completeness of an interval tense logic
• Varieties of complex algebras
• Modal logics for incidence geometries
• SECOND-ORDER BOOLEAN ALGEBRAS
• The modal logic of inequality
• Derivation rules as anti-axioms in modal logic
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

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