Decidable Logics with Associative Binary Modalities.

Joseph Boudou

Browse the full CSL paper archive.