Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun modal_logic

2 senses of modal logic

Sense 1
modal logic -- (the logical study of necessity and possibility)
       => logic -- (the branch of philosophy that analyzes inference)

Sense 2
modal logic -- (a system of logic whose formal properties resemble certain moral and epistemological concepts)
       => symbolic logic, mathematical logic, formal logic -- (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)