research
∙
09/12/2021
DELP: Dynamic Epistemic Logic for Security Protocols
The formal analysis of security protocols is a challenging field, with v...
research
∙
07/02/2020
Many-Sorted Hybrid Modal Languages
We continue our investigation into hybrid polyadic multi-sorted logic wi...
research
∙
07/11/2019
From Hybrid Modal Logic to Matching Logic and back
Building on our previous work on hybrid polyadic modal logic we identify...
research
∙
05/13/2019
Operational semantics and program verification using many-sorted hybrid modal logic
We propose a general framework to allow: (a) specifying the operational ...
research
∙
03/26/2018