Gren av logiken som undersöker begreppen nödvändighet och möjlighet samt hur de förhåller sig till sanning; används bland annat inom filosofi och datavetenskap.
Synonymer till modallogik
Ordlistorna anger inga synonymer för modallogik.
Exempelmeningar
Modallogik används för att analysera påståenden om vad som måste vara sant respektive vad som kan vara sant.
Under kursen i filosofi läste vi en introduktion till modallogik och dess olika system.
Forskarna använde modallogik för att beskriva vilka tillstånd ett program kan nå.