Dynamic modal logic with counting: when reduction axioms work and fail

DOI10.1007/978-3-031-40875-5_2OpenAlexW4385444924MaRDI QIDQ6139083

Zhiguang Zhao, Xiaoxuan Fu

Publication date: 16 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-40875-5_2

zbMATH Keywords

dynamic epistemic logicpropositional dynamic logicreduction axiomsmodal logic with counting

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Cites Work

• Dynamic epistemic logic
• Numerical abstraction via the Frege quantifier
• Axiomatising the logic of computer programming
• Propositional dynamic logic of regular programs
• Logics of public communications
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• QUALITATIVE MODALITIES
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• The Härtig quantifier: a survey
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic modal logic with counting: when reduction axioms work and fail