modal logic (Q2284)

From Azupedia
Revision as of 13:42, 10 February 2023 by Fire (talk | contribs) (‎Created a new Item: modal logic, formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Language Label Description Also known as
English
modal logic
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.

    Statements