Synonyms of modal logic

Noun

1. modal logic, logic

usage: the logical study of necessity and possibility

2. modal logic, symbolic logic, mathematical logic, formal logic

usage: a system of logic whose formal properties resemble certain moral and epistemological concepts