modal logic

In mathematical logic, modal logic is a type of formal logic that extends propositional logic, first-order logic, or higher-order logic with modalities. A specific modality of the qualities of truth. For example, a proposition like “it’s raining” can be preceded … Read More