Abstract
This project intends to study multiple conceptual applications of methods for combining logics. It shows how to combine alethic modal logics (in order to model the contingency operator) and epistemic logics. This combination is done with the aims of stating a kind of skepticism characterized by the following principle: contingent propositions are not known. This work also investigates con…