Modala logiko

De Wikipedio
Jump to navigation Jump to search

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

Diferanta modala logiko[redaktar | redaktar fonto]

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[redaktar | redaktar fonto]

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

Angla S4 prover by tableaux method, S4 prover