I need a first order modal logic, where inconsistency between formulas in not binary: a pair of formulas may be more or less inconsistent. The modal operators express uncertainty. So the formulas which would be contradictory without the modal operators can have some "fuzzy" inconsistency with the modal operators. Did somebody encounter such a logic? If not, is there something wrong with such a logic?