Abstract
Kant was among the first philosophers to recognize that modalities come in many varieties, and that there are systematic connections among them--an insight which has since been confirmed by the multitude of applications of the basic techniques of formalized modal logic. In particular, He recognized an affinity among what are now called doxastic and epistemic logics, As well as with a logic of judging which has not exact counterpart in contemporary thought. This paper will be concerned with the explication of the theory of judgment in its relation to the logics of belief and knowledge. It will seek to show that there is a clear and consistent way to translate Kant's notions of modality into modern symbolic terminology, And that the relations he took to hold among them are well-grounded in his philosophy of logic.