modal logic
(Q210841)
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Language:
Current Data About
modal logic
other details
| description | formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc. |
External Links