Intransitivity and introspection. One central and debated aspect of the notion of inexact knowledge concerns the non-transitivity of the relation of indiscriminability and how it should be represented. On the epistemic account of vagueness put forward by Williamson, the intransitivity of the relation of indiscriminability is presented as the main source for vagueness ([5]: 237). In [4] and in t...

Moore's autoepistemic logic AEL proved to be a very successful approach to formalizing non-monotonic reasoning and logic programming. However, AEL also has some important drawbacks, e.g., quite \reasonable" theories are often inconsistent in AEL, it does not always lead to the expected, intended semantics and it cannot be eeectively computed even for very simple classes of theories. In this pap...

It is claimed that psychological science can obtain accurate reports about people's inner experience. We reconsider three criticisms of introspection: Nisbett and Wilson's critical review of introspection, the failure of introspectionists to agree about imageless thought, and Skinner's behavioral position. We show that rather than dismissing introspection, these criticisms point the way towards...

Justification logics are modal logics that include justifications for the agent’s knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications. §