DOI10.1093/jigpal/jzab029MaRDI QIDQ5877706
Zhiguang Zhao
Publication date: 16 February 2023 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/2102.13291
zbMATH Keywords
correspondence theory; ALBA algorithm; hybrid logic with binder
Mathematics Subject Classification ID
03-XX: Mathematical logic and foundations
68-XX: Computer science