Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

DOI10.1016/j.jal.2010.08.002zbMath1214.03011OpenAlexW1987652121MaRDI QIDQ631077

Could not fetch data.

Publication date: 22 March 2011

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.08.002

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.