The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement
1988 ◽
Vol 34
(3)
◽
pp. 251-259
◽
2014 ◽
Vol 7
(3)
◽
pp. 439-454
◽
Keyword(s):
2016 ◽
Vol 9
(4)
◽
pp. 752-809
◽
Keyword(s):
1992 ◽
Vol 38
(1)
◽
pp. 491-499
◽