DeKLA Project

DeKLA (Developing Kleene Logics and their Applications) is an interdisciplinary PRIN 2022 project, involving logic, epistemology and computer science. It aims to further develop the theory of Kleene logics, modal Kleene logics and their applications in philosophy and computer science. In particular, the project will focus on further exploring external (weak) Kleene logics and modal logics based on strong and weak Kleene logics, with a particular emphasis on epistemic Kleene logics. The logical methods developed will help enrich the study of the epistemology of ignorance, fallible knowledge and of fake news, by providing new formal models of analysis. Moreover, DeKLA will considerably enlarge the space of applications of Kleene logics in computer science, by introducing innovative process algebraic methods based on Kleene logics and applying them to concurrent programming and debugging theory.

Video Presentation: click here

DeKLA Numbers.

• Two research units: Cagliari (UniCa), Urbino (UniUrb). 

• MUR funding: 220.000 euros. 

• 12 Senior Researchers. 

• 3 Postdoctoral Researchers. 

• Duration: 24 months. 

• Project code: 2022SM4XC8.