Hur används ordet modallogik?

Resultatet blev startpunkten för modern modallogik.

Hon var en pionjär inom modallogik och direkthänvisningsteorin.

Amerikansk filosof och logiker, med inriktning på semantik, sanningsteori och modallogik.

Det finns formella system för första ordningens logik, satslogik, modallogik, relationell logik etc.

Han specialiserade sig först på logik och var den som skapade det första axiomsystemet för modallogik.