5 citations · 5 across the 1 of their papers we have counts for
1 paper
Yanjing Wang, Francien Dechesne
In computer science, various logical languages are defined to analyze properties of systems. One way to pinpoint the essential differences between those logics is to compare their…