Modallogikk

Frå Wikipedia – det frie oppslagsverket
Gå til: navigering, søk

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å kalla 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
Spire Denne artikkelen er ei spire. Du kan hjelpe Nynorsk Wikipedia gjennom å utvide han.