Relation algebras with binders

DOI10.1093/LOGCOM/11.5.691MaRDI QIDQ2772881zbMATH OpenOpenAlexFDO

Authors Maarten Marx

Publication date 22 July 2002

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/11.5.691

zbMATH Keywords

Beth's definabilitybinary relationsfork algebrashybrid logicinterpolationmodal logicrelation algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• A completeness result for relation algebra with binders
• Algebraization of Hybrid Logic with Binders
• Boolean logics with relations
• scientific article; zbMATH DE number 1303457
• scientific article; zbMATH DE number 67032

Cited in

(3)

• Interpolation for extended modal languages
• On Birkhoff's Postulates for a Relation Algebra
• A completeness result for relation algebra with binders

This page was built for publication: Relation algebras with binders

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