Embedded epistemic modals are infelicitous under desire predicates when they anchored to the belief state of attitude holder (see, esp., Anand & Hacquard 2013). We present two ways deriving this observation from an inde- pendently motivated property (Heim 1992; von Fintel 1999).

Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and knowledge. I argue that received understanding is mistaken. Although it convenient to assume such cases can be modeled statically, they should analyzed as dynamic involve change Consequently, underlying logic epistemic logic, not its static counterpart. When reasoning about knowledge, ...

In this paper, we introduce hypervisor introspection, an out-of-box way to monitor the execution of hypervisors. Similar to virtual machine introspection which has been proposed to protect virtual machines in an out-of-box way over the past decade, hypervisor introspection can be used to protect hypervisors which are the basis of cloud security. Virtual machine introspection tools are usually d...

1. Introspection and phenomenal character How much can introspection tell us about the nature of perceptual experience? This partly depends on what we understand by ‘the nature of perceptual experience’. It is hardly to be expected that introspection could tell us, for example, whether our experiences are brain states, or supervene on brain states; this is something which must be decided on the...

A perceptual theory of introspection is one that treats introspection as a species of perception or as a special case of perception. Additionally, a perceptual theory of introspection is one for which introspection shares at least some of the essential features of perception. However, I will show that there are certain essential features of perception that introspection lacks. Moreover, those f...