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

The post Modal logic appeared first on Telework.

Leave a Reply

Your email address will not be published. Required fields are marked *