Modala logiko

Modala logiko esas logiko ad qua on adjuntas di modifikivi, qua on povus komprenar en gramatiko kom adverbi.

Diferanta modala logiko [redaktar]

Ul existas multa tipi di modala logiki, do la modi esas :

klasika (o de Aristoteles) :
- necesa, notata $\Box$
- kontingenteso, (ne necesa) notata $\neg \Box$
- posibla, notata $\Diamond$
- ne posibla, notata $\neg \Diamond$
epistemologiala (pri konokajo) :
- konocajo per l'agento $i$ , notata $K_i$
- disputebla
- exkluzata
- aprobinda
- konoco komuna di grupo $G$ di agenti, notata $C_G$
deontiko (morala) :
- obliganta, notata O
- interdikto, notata I
- permiso, notata P
- fakultativa, notata F
tempala
- sempre, notata $\Box$
- un dio, notata $\Diamond$
- nulatempe, notata $\neg \Diamond$
- morge, notata X
- til ke, operacero binara notata U
- de nun, notata G
- un dio futura, notata F
- sempre en pasinto, notata H
- un dio pasinta, notata P
doktrino (pri kredi)
- kredata, notata B
Kontrefaktala
- Se A esis vera, ube on savas ke A ne esas vera.
Lineara (fundamento di kalkulo di sequenti da Jean-Yves Girard, por regular la duopligo di moyeni en logiko)
- certa notata !
- pro quo ne notata ?.* dinamikala (efekto di agi, notata a, pri propozicioni) :
- existas exekuto di a tela ke pos a, p esas vera, notata $\langle a\rangle p$
- p esas vera pos omna exekuto di a, notata $[a] p$ .