Modallogik är en gren inom logiken som utvidgar klassisk sats- och predikatlogik genom att introducera operatorer för att uttrycka modalitet, det vill säga olika sätt på vilka något kan vara sant. De vanligaste operatorerna är "nödvändigtvis" ($\Box$) och "möjligen" ($\Diamond$). Dessa tillåter anal.