La lòggica muderna è spartuta nta la tiurìa dâ ricursiuni, la tiurìa dû mudeḍḍu e la tiurìa dâ prova e è assai lijata â scienza dî computer tiurètici, accussì comu â tiurìa dî catigurìi.