Periodic Reporting for period 1 - FOREMOTIONS (Formal Frameworks for Modal Notions Conceived as Predicates)

"The project addressed a fundamental gap in contemporary approaches to formal philosophy. Philosophy aims to provide universal theses about reality, such as ""all truths can be known"", but the way in which these claims are analyzed in contemporary philosophy is far from...