Dynamic modal logic with counting: when reduction axioms work and fail. (English) Zbl 1541.03080
Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 11-24 (2023).
Summary: In the present paper, we study the dynamic aspect of modal logic with counting ML(#). We study several kinds of model updates where we have reduction axioms, namely two kinds of public announcements, preference upgrade and deleting arrows from \(\varphi_1\) to \(\varphi_2\). We also show that certain PDL program constructions cannot be defined in the basic modal logic with counting ML(#).
For the entire collection see [Zbl 1528.03006].
For the entire collection see [Zbl 1528.03006].
MSC:
| 03B45 | Modal logic (including the logic of norms) |
| 03B42 | Logics of knowledge and belief (including belief change) |
| 03B70 | Logic in computer science |
Keywords:
modal logic with counting; dynamic epistemic logic; propositional dynamic logic; reduction axiomsReferences:
| [1] | Antonelli, GA, Numerical abstraction via the Frege quantifier, Notre Dame J. Formal Logic, 51, 2, 161-179 (2010) · Zbl 1205.03055 · doi:10.1215/00294527-2010-010 |
| [2] | Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), Evanston, IL, USA, 22-24 July 1998, pp. 43-56. Morgan Kaufmann (1998) · Zbl 1386.03019 |
| [3] | Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. A Bradford Book. MIT Press, Cambridge (2004) · Zbl 0839.68095 |
| [4] | Fischer, MJ; Ladner, RE, Propositional dynamic logic of regular programs, J. Comput. Syst. Sci., 18, 194-211 (1979) · Zbl 0408.03014 · doi:10.1016/0022-0000(79)90046-1 |
| [5] | Fu, X., Zhao, Z.: Correspondence theory for modal logic with counting ML \((\#)\) (2023, submitted) |
| [6] | Fu, X., Zhao, Z.: Decidability for modal logic with counting ML \((\#)\) in different frame classes (2023, submitted) |
| [7] | Fu, X., Zhao, Z.: Modal logic with counting: definability, semilinear sets and correspondence theory (2023, submitted) |
| [8] | Fu, X., Zhao, Z.: Model-theoretic aspects of modal logic with counting ML \((\#)\) (2023, submitted) |
| [9] | Goldblatt, R., Axiomatising the Logic of Computer Programming (1982), Heidelberg: Springer, Heidelberg · Zbl 0474.68045 · doi:10.1007/BFb0022481 |
| [10] | Herre, H.; Krynicki, M.; Pinus, A.; Väänänen, J., The Härtig quantifier: a survey, J. Symb. Log., 56, 4, 1153-1183 (1991) · Zbl 0737.03013 · doi:10.2307/2275466 |
| [11] | Otto, M.: Bounded Variable Logics and Counting: A Study in Finite Models. Lecture Notes in Logic. Cambridge University Press, Cambridge (2017) |
| [12] | Parikh, R.; Winkowski, J., The completeness of propositional dynamic logic, Mathematical Foundations of Computer Science 1978, 403-415 (1978), Heidelberg: Springer, Heidelberg · Zbl 0392.03017 · doi:10.1007/3-540-08921-7_88 |
| [13] | Plaza, J., Logics of public communications, Synthese, 158, 2, 165-179 (2007) · Zbl 1126.03308 · doi:10.1007/s11229-007-9168-7 |
| [14] | Rescher, N., Plurality quantification, J. Symb. Log., 27, 373-374 (1962) |
| [15] | Segerberg, K., A completeness theorem in the modal logic of programs, Banach Center Publ., 9, 1, 31-46 (1982) · Zbl 0546.03011 · doi:10.4064/-9-1-31-46 |
| [16] | Snyder, J.: Product update for agents with bounded memory. Manuscript, Department of Philosophy, Stanford University (2004) |
| [17] | van Benthem, J., Dynamic logic for belief revision, J. Appl. Non-Classical Logics, 17, 2, 129-155 (2007) · Zbl 1186.03033 · doi:10.3166/jancl.17.129-155 |
| [18] | van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2014) · Zbl 1251.03003 |
| [19] | van Benthem, J., Icard, T.: Interleaving logic and counting. Prepublication (PP) Series PP-2021-10, ILLC, University of Amsterdam (2021) |
| [20] | van Benthem, J.; Liu, F., Dynamic logic of preference upgrade, J. Appl. Non-Classical Logics, 17, 2, 157-182 (2007) · Zbl 1186.03034 · doi:10.3166/jancl.17.157-182 |
| [21] | van der Hoek, W., Qualitative modalities, Internat. J. Uncertain. Fuzziness Knowl.-Based Syst., 4, 1, 45-60 (1996) · Zbl 1232.03009 · doi:10.1142/S0218488596000044 |
| [22] | van Ditmarsch, H., Halpern, J., van der Hoek, W., Kooi, B.: Handbook of Epistemic Logic. College Publications (2015) · Zbl 1392.03009 |
| [23] | van Ditmarsch, H.; van der Hoek, W.; Kooi, B., Dynamic Epistemic Logic (2007), Dordrecht: Springer, Dordrecht · Zbl 1156.03015 · doi:10.1007/978-1-4020-5839-4 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
