Modala logiko

De Wikipedio
Irez ad: pilotado, serchez

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

Diferanta modala logiko[redaktar | edit source]

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[redaktar | edit source]

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

(Angliane) S4 prover by tableaux method, S4 prover