S Ben-David, R Ben-Eliyahu - Proceedings Ninth Annual IEEE …, 1994 - ieeexplore.ieee.org
Introduces a logic endowed with a two-place modal connective that has the intended
meaning of" if/spl alpha/, then normally/spl beta/". On top of providing a well defined tool for …