Supervisor: Alberto Marcone / Marino Miculan
+39 0432 558401
Stanza / Room: 27-07-ND (DMIF, NS2)
castelnovo.davide@spes.uniud.it
In the last decades much attention has been devoted in Computer Science to extensions of classical or intuitionistic logic obtained adding additional operators besides the usual logical connectives and quantifiers (separation logic, the various flavours of spatial and temporal logics, bunched implication, etc…).
This gives rise to the problem of how to provide models of such kinds of logics. To this end, several researchers have advocated the use categorical structures like fibrations, in line with the way in which category theory provides a semantics for the usual first order logic.
My main aim is to provide an appropriate notion of model for some of this modal logic. Possibly deducing metatheoretic or proof-theoretic results like completeness.
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.