Relation Algebra with Binders

DOI10.1093/logcom/11.5.691zbMath0988.03097OpenAlexW2171310089MaRDI QIDQ2772881

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

interpolationmodal logichybrid logicrelation algebrasbinary relationsfork algebrasBeth's definability

Mathematics Subject Classification ID

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

Related Items

A Completeness Result for Relation Algebra with Binders ⋮ Interpolation for extended modal languages

This page was built for publication: Relation Algebra with Binders