Equivalence Criteria for Compositional IF Modal Logics

Tero Tulenheimo, Manuel Rebuschi. Equivalence Criteria for Compositional IF Modal Logics. Electronic Notes in Theoretical Computer Science, 231:153-173, 2009. [doi]

Abstract

Abstract is missing.