Javanese-Paciran Modal Inventory #
Modal expressions from Javanese (Austronesian), based on @cite{vander-klok-2013a}.
Strong epistemic necessity mesthi.
Equations
- Fragments.Javanese.Modals.mesthi = { form := "mesthi", meaning := [Fragments.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 @cite{agha-jeretic-2022} §5.1), yielding a definite plurality of worlds rather than universal quantification.
Equations
- Fragments.Javanese.Modals.mesthiNe = { form := "mesthi-ne", meaning := [Fragments.Javanese.Modals.wne✝] }
Instances For
Equations
- Fragments.Javanese.Modals.paleng = { form := "paleng", meaning := [Fragments.Javanese.Modals.pe✝] }
Instances For
Equations
- Fragments.Javanese.Modals.oleh = { form := "oleh", meaning := [Fragments.Javanese.Modals.pd✝] }
Instances For
Equations
- Fragments.Javanese.Modals.iso = { form := "iso", meaning := [Fragments.Javanese.Modals.pc✝] }
Instances For
Strong deontic/circumstantial necessity kudu.
Equations
- Fragments.Javanese.Modals.kudu1 = { form := "kudu1", meaning := [Fragments.Javanese.Modals.nd✝, Fragments.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
- Fragments.Javanese.Modals.kudu1Ne = { form := "kudu1-ne", meaning := [Fragments.Javanese.Modals.wnd✝, Fragments.Javanese.Modals.wnc✝] }
Instances For
Equations
- One or more equations did not get rendered due to their size.