We will discuss some applications to Temporal Reasoning Systems, in which the set of times over which we reason forms a lattice. Related work can be found in the papers of Owicki and Lamport, McMillin et. al., among others

Despite the rising interest in residential solar photovoltaic panels (PV), the percent of homeowners that install them is relatively low in the United States. While most studies focus on explaining the intention to adopt solar, the objective of this study is to understand systematic differences...

Unlike previous theoretical studies, we examine the welfare effects of a merger when participating firms are in a pollution-intensive sector. With passive environmental policy we show that profitable mergers reduce welfare; and this is because the reduction in consumer surplus and tax revenue...