Game semantics for modal logic with counting

DOI10.1007/978-981-96-0354-1_1MaRDI QIDQ6917176zbMATH OpenFDO

Authors Xiaoxuan Fu, Zhiguang Zhao

Publication date 14 October 2025

zbMATH Keywords

game semanticsevaluation gamemodal logic with countingmodel comparison game

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Game semantics for modal logic with counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6917176)