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

DOI10.1093/JIGPAL/JZM018MaRDI QIDQ5448848zbMATH OpenOpenAlexFDO

Authors Miguel Couceiro, Lauri Hella, Jari Kivelä

Publication date 7 March 2008

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

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

zbMATH Keywords

Boolean functionsclonesdefinable classesfunctional termsKripke framesmodal axiomsmodal logicpropositional logicScott-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)

Recommendations

• scientific article; zbMATH DE number 1775542
• Existential definability of modal frame classes
• A generalization of modal frame definability
• Some characterization and preservation theorems in modal logic
• Towards a generalization of modal definability

Cited in

(3)

• Definability and canonicity for Boolean logic with a binary relation
• scientific article; zbMATH DE number 5270689 (Why is no real title available?)
• Existential definability of modal frame classes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448848)