Axiomatization of modal logic with counting

DOI10.1093/JIGPAL/JZAE079MaRDI QIDQ6909099zbMATH OpenFDO

Authors Xiaoxuan Fu, Zhiguang Zhao

Publication date 30 October 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE079

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• Complexity of modal logics with Presburger constraints
• Decidable (ac)counting with Parikh and Muller: adding Presburger arithmetic to monadic second-order logic over tree-interpretable structures
• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 3353239 (Why is no real title available?)
• scientific article; zbMATH DE number 7799614 (Why is no real title available?)
• INTERLEAVING LOGIC AND COUNTING
• Intuitive Probability on Finite Sets
• Measurement structures and linear inequalities
• Modal logic
• Numerical abstraction via the Frege quantifier
• One-variable logic meets Presburger arithmetic
• Presburger Büchi tree automata with applications to logics with expressive counting
• Qualitative modalities
• Qualitative probability as an intensional logic
• The Härtig quantifier: a survey
• The logic of comparative cardinality
• The two-variable fragment with counting revisited

Cited in

(2)

• The modal logic of n-state frames
• Logics for contact and measure

This page was built for publication: Axiomatization of modal logic with counting

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