Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic

Miguel Couceiro, Lauri Hella, Jari Kivelä. Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic. Logic Journal of the IGPL, 16(1):43-73, 2008. [doi]

Abstract

Abstract is missing.