Homomorphisms and chains of Kripke models

M. Moniri, M. Zaare
Archive for Mathematical Logic, Volume 50, 431-443, 2011
Publication year: 2011