Sahlqvist correspondence theory for second-order propositional modal logic

DOI10.1093/LOGCOM/EXAC036arXiv2110.08561OpenAlexW4225991572MaRDI QIDQ6042095

Zhiguang Zhao

Publication date: 16 May 2023

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

correspondence theorycanonicitysecond-order propositional modal logicALBA algorithm\(\varPi_2\)-rules

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Sahlqvist correspondence theory for second-order propositional modal logic