On the multi-dimensional modal logic of substitutions

DOI10.1556/012.2019.56.4.1447zbMath1449.03001arXiv1302.3043OpenAlexW2995490595MaRDI QIDQ5211025

Mohammad Assem Mahmoud, Tarek Sayed Ahmed

Publication date: 17 January 2020

Published in: Studia Scientiarum Mathematicarum Hungarica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.3043

zbMATH Keywords

interpolationfinite model propertymultimodal logicomitting typessubstitution algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)

This page was built for publication: On the multi-dimensional modal logic of substitutions