2 citations · 2 across the 1 of their papers we have counts for
1 paper
Diego Pinheiro Fernandes
There is a strong demand for precise means for the comparison of logics in terms of expressiveness both from theoretical and from application areas. The aim of this paper is to pro…