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