Modal‐type orthomodular logic
Graciela Domenech, Héctor Freytes, Christian DE RONDE · Mathematical logic quarterly · 2009
Abstract In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*‐semigroups as in [22] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)