2 citations · 3 across the 12 of their papers we have counts for
1 paper · 1 filter
Guillermo Badia, Tomasz Kowalski, Grigory Olkhovikov
The question of the expressive power of a given logical language with Kripke relational semantics has at least two dimensions: (1) what the language can say about frames, and (2) w…