Modal-type orthomodular logic
  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 Kripke-style semantic founded on Baer *-semigroups as in [20]. 
G. Domenech, H. Freytes and C. de Ronde