Modal environment for boolean speculations

1987

George Gargov, Solomon Passy, Tinko Tinchev

in: Mathematical logic and its applications, Berlin,