This essay is a contribution to the new trend and old tradition of analyzing theological fatalism in light of its relationship to logical fatalism. All results pertain to branching temporal systems that use the A-theory and assume presentism. The project focuses on two kinds of views about branching time. One position is true futurism, which…

Recent rapid malware growth has exposed the limitations of traditional in-host malware-defense systems and motivated the development of secure virtualization-based solutions. By running vulnerable systems as virtual machines (VMs) and moving security software from inside VMs to the outside, the out-of-VM solutions securely isolate the anti-malware…

This dissertation aims to characterize the relationship between the temporal and information-structuring functions of tense and aspect marking in Totela, an endangered Bantu language of Zambia and Namibia. To that end, I investigate and describe in detail the semantics and pragmatics of selected tense and aspect markers, showing for each that a…

The focus of this dissertation is the highly specialized and stylized liturgical language of Russian Church Slavonic (RCS). Historically, RCS has been strictly controlled by authorities and has conformed to established norms, but innovations have nevertheless arisen in response to various conditions. One major wave of innovations was a long,…