Modal Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Modal Logic.

• Regular modal logic — A classical modal logic closed under a rule lifting conjunction-preserving implication through necessity and containing the duality of necessity and possibility.