Hyperboolean Algebras and Hyperboolean Modal Logic

Download Edit this record How to cite View on PhilPapers
Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research.
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-04-21
View upload history
References found in this work BETA
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.

View all 11 references / Add more references

Citations of this work BETA
Modal Logics for Mereotopological Relations.Nenov, Yavor & Vakarelov, Dimiter

Add more citations

Added to PP index

Total views
63 ( #38,713 of 48,949 )

Recent downloads (6 months)
9 ( #45,326 of 48,949 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.