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

Full work available at URL https://doi.org/10.1007/978-981-96-0354-1_1

zbMATH Keywords

evaluation gamegame semanticsmodal logic with countingmodel comparison game

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 487145 (Why is no real title available?)
• INTERLEAVING LOGIC AND COUNTING
• Logic in games
• Modal logic
• Numerical abstraction via the Frege quantifier
• Numerical expressive power of logical languages with cardinality comparison
• The Härtig quantifier: a survey

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)