Modallogik

Noun

 * 1) modal logic