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 $\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$.

extera ligili

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

Angla S4 prover by tableaux method, S4 prover