Formalni sistemi i modeliranje – FORMALS-2 (HRZZ IP-2024-05-3882)
Neki od ciljeva projekta su: ispitati potpunost, odlučivost i složenost nekih proširenja sistema inkvizitivne modalne logike, istražiti teoriju korespodencije inkvizitivne modalne logike, generalizirati rezultate inkvizitivne modalne logike na inkvizitivnu okolinsku logiku te aksiomatizirati pojam kompromisa u okviru teorije društvenog izbora.
Voditelj projekta: izv. prof. dr. sc. Tin Perkov
Trajanje projekta: 9. prosinca 2024. do 8. prosinca 2027.
Mrežna stranica projekta: http://formals.ufzg.hr/
