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

Diferanta modala logiko 
Ul existas multa tipi di modala logiki, do la modi esas :
 klasika (o de Aristoteles) :
necesa, notata 
kontingenteso, (ne necesa) notata 
posibla, notata 
ne posibla, notata 
 epistemologiala (pri konokajo) :
konocajo per l'agento , notata 
disputebla
exkluzata
aprobinda
 konoco komuna di grupo  di agenti, notata 
 deontiko (morala) :
obliganta, notata O
interdikto, notata I
permiso, notata P
fakultativa, notata F
 tempala
 sempre, notata 
 un dio, notata 
 nulatempe, notata 
 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 
p esas vera pos omna exekuto di a, notata .

extera ligili 
 James Garson, Modal Logic, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), 2007.

 S4 prover by tableaux method, S4 prover

Logiko