Vähän enemmän auki

Väitelause onkin hyvä! Yritin vain välttää käyttämästä sanaa "lause" joka kohdassa, koska se on niin avoin. Muutkin muutosehdotukset ovat hyviä, korjaan niiden mukaan. Ymmärtääkseni noiden muiden "modaalilogiikoiden", (temporaalilogiikka, jne.) operaattorit ovat myös modaalikäsitteitä. Ainakin Johdatus modaalilogiikkaan kirjassa painotetaan, että mahdollisuus, mahdottomuus, jne. ovat aleettisia modaalikäsitteitä.

Hei,

en tosiaankaan tunne modaalilogiikkaa. Tarkoitan vaan sitä, että jos sanotaan, että aleettiset modaalikäsitteet, niin lukija jää ihmettelemään että onko muitakin kuin aleettisia modaalikäsitteitä tai mitä ne aleettiset modaalikäsitteet oikein ovat...