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

DOI10.1093/jigpal/jzm018zbMath1137.03038OpenAlexW2079114060MaRDI QIDQ5448848

Lauri Hella, Jari Kivelä, Miguel Couceiro

Publication date: 7 March 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://basepub.dauphine.fr/handle/123456789/10180

zbMATH Keywords

modal logicpropositional logicBoolean functionsKripke framesclonesfunctional termsdefinable classesmodal axiomsScott-Montague frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean functions (06E30) Operations and polynomials in algebraic structures, primal algebras (08A40)

This page was built for publication: Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic