The paper develops a precise account of a logic of truth and, in particular, the logic of truth of a given truth theory. On the basis of this account maximality considerations are employed for comparing and evaluating different classical logics of truth.

The chapter gives an overview of the modal paradox and discusses strategies on how to answer them.

We develop a semantics for truth and belief that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results

This monograph studies predicate approaches to modality, that is, it discusses and explores the view according to which modal notions are best conceived as predicates applicable to names of sentences or propositions.