modallogik
modallogik, gren av logiken som studerar modala utsagor, dvs. utsagor som innehåller uttryck för modalitet.
I synnerhet studeras de två modala operatorerna ”det är nödvändigt att” och ”det är möjligt att”, vilka ofta symboliseras (fyrkant) respektive (romb). Man noterade redan i antiken att de två operatorerna kan definieras med hjälp av varandra: om A är en utsaga, så är den modala utsagan ”det är
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse