Formal systems and modelling – FORMALS-2 (HRZZ IP-2024-05-3882)
Some of the project goals are: to examine the completeness, decidability, and complexity of some extensions of inquisitive modal logic systems; to analyse the correspondence theory of inquisitive modal logic; to generalize the results of inquisitive modal logic to the inquisitive environment logic, and to axiomatize the notion of compromise within the social choice theory.
Project leader: Professor Tin Perkov, PhD
Project duration: December 9, 2024 – December 8, 2027
Project website: http://formals.ufzg.hr/
