2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
G. A. Kavvos
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…