A bisimulation characterization for interpretability logic.

Autor: Perkov, Tin1, Vuković, Mladen2
Zdroj: Logic Journal of the IGPL. Dec2014, Vol. 22 Issue 6, p872-879. 8p.
Databáze: Business Source Ultimate
Externí odkaz: