Strong epistemic necessity mesthi.
Equations
- Javanese.Modals.mesthi = { form := "mesthi", meaning := [Javanese.Modals.ne✝] }
Instances For
Weak epistemic necessity mesthi-ne: mesthi + NE definiteness marker. NE picks out the unique minimal witness set (= X operator of [AJ22] §5.1), yielding a definite plurality of worlds rather than universal quantification.
Equations
- Javanese.Modals.mesthiNe = { form := "mesthi-ne", meaning := [Javanese.Modals.wne✝] }
Instances For
Equations
- Javanese.Modals.paleng = { form := "paleng", meaning := [Javanese.Modals.pe✝] }
Instances For
Equations
- Javanese.Modals.oleh = { form := "oleh", meaning := [Javanese.Modals.pd✝] }
Instances For
Equations
- Javanese.Modals.iso = { form := "iso", meaning := [Javanese.Modals.pc✝] }
Instances For
Strong deontic/circumstantial necessity kudu.
Equations
- Javanese.Modals.kudu1 = { form := "kudu1", meaning := [Javanese.Modals.nd✝, Javanese.Modals.nc✝] }
Instances For
Weak deontic/circumstantial necessity kudu-ne: kudu + NE. Same derivation as mesthi-ne: NE = X restricts to necessity because ∀ has a unique minimal witness but ∃ does not.
Equations
- Javanese.Modals.kudu1Ne = { form := "kudu1-ne", meaning := [Javanese.Modals.wnd✝, Javanese.Modals.wnc✝] }
Instances For
Equations
- One or more equations did not get rendered due to their size.