ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)
From MaRDI portal
Publication:3328527
DOI10.1002/malq.19840300103zbMath0541.03017OpenAlexW1546396757MaRDI QIDQ3328527
Publication date: 1984
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19840300103
Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)
Related Items