modal logic (Q2284)

From Azupedia
Revision as of 13:42, 10 February 2023 by Fire (talk | contribs) (‎Created claim: instance of (P2): mathematical theory (Q637))
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

     
      Retrieved from "https://wiki.tiffa.net/w/index.php?title=Item:Q2284&oldid=11903"