Epistemic logic

the long version

"Epistemic Logic examines the nature of knowledge, the conceptual ramifications of defining knowledge, and the reach and limits of what we know. As the branch of philosophy that formalizes the discourse on knowledge, epistemic logic seeks to articulate and clarify the general principles of reasoning about knowledge. Nicholas Rescher gives an overview of the discipline by setting out the general principles for reasoning about such matters as propositional knowledge and interrogative knowledge. Aimed at graduate students and specialists, it elucidates both Rescher's pragmatic view of knowledge and the field in general."--Jacket.