Item:Q2284: Difference between revisions

Created a new Item: modal logic, formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
 
Property / instance of
 
Property / instance of: mathematical theory / rank
 
Normal rank