Modallogikk

Frå Wikipedia – det frie oppslagsverket

Ein modal logikk er ein logikk for å handsame modalitetar: konsept som moglegheit, umoglegheit og naudsyn. Logikkar for å handsame ei rekkje andre idéar, som etter kvart, tidlegare, kan, kunne, skulle, burde og , vert òg også kalt modale logikkar, sidan dei kan handsamast på liknande måtar.

Formelle modallogikkar representerer modalitetane ved at ein sett logiske operatorar på setningane. Dei grunnleggjande modale operatorane er vanlegvis \Box (eller L) for modaliteten naudsynleg og \Diamond (eller M) for mogleg. Dei er interdefinert slik:

\Diamond p = \neg \Box \neg p
Puslespillbit Denne artikkelen er ei spire. Du kan hjelpe Nynorsk Wikipedia å vekse seg stor og sterk gjennom å utvide han.
Sjå òg: Oversyn over spirer.