Abstract
In social interactions, protocols govern our behaviour and assign meaning to actions. In this paper, we investigate the dynamics of protocols and their epistemic effects. We develop two logics, inspired by Propositional Dynamic Logic (PDL) and Public Announcement Logic (PAL), for reasoning about protocol change and knowledge updates. We show that these two logics can be translated back to the standard PDL and PAL respectively.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aucher, G.: BMS revisited. In: Proceedings of TARK 2009, pp. 24–33 (2009)
Benevides, M., Schechter, L.: A propositional dynamic logic for CCS programs. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 83–97. Springer, Heidelberg (2008)
Bonnay, D., Égré, P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38(2), 179–227 (2009)
Brzozowski, J.A.: Derivatives of regular expressions. Journal of the ACM 11(4), 481–494 (1964)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distributed Computing 10(4), 199–225 (1997)
Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)
Gabbay, D.M.: A theory of hypermodal logics: Mode shifting in modal logic. Journal of Philosophical Logic 31(3), 211–243 (2002)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)
Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distributed Computing 3(4), 159–177 (1989)
Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences 25(2), 144–170 (1982)
Hoshi, T.: Epistemic Dynamics and Protocol Information. PhD thesis, Stanford (2009)
Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese 169(2), 259–281 (2009)
Kozen, D.: A completeness theorem for kleene algebras and the algebra of regular events. In: Proceedings of LiCS 1991, pp. 214–225 (1991)
Kozen, D.: Automata on guarded strings and applications. Matématica Contemporânea 24, 117–139 (2003)
Lutz, C.: Complexity and succinctness of public announcement logic. In: Proceedings of AAMAS 2006, pp. 137–143. ACM, New York (2006)
Meyer, J.J.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109–136 (1987)
Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information 12(4) (2003)
Paul, S., Ramanujam, R., Simon, S.: Stability under strategy switching. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds.) CiE 2009. LNCS, vol. 5635, pp. 389–398. Springer, Heidelberg (2009)
Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
Pratt, V.R.: Process logic. In: Proceedings of POPL 1979, pp. 93–100. ACM, New York (1979)
van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic 38(5), 491–526 (2009)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
Wang, Y.: Indexed semantics and its application in modelling interactive unawareness. Master’s thesis, University of Amsterdam (2006)
Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, University of Amsterdam (2010)
Wang, Y., Kuppusamy, L., van Eijck, J.: Verifying epistemic protocols under common knowledge. In: Proceedings of TARK 2009, pp. 257–266. ACM, New York (2009)
Wang, Y., Sietsma, F., van Eijck, J.: Logic of information flow on communication channels (extended abstract). In: van der Hoek, Kaminka, Lespérance, Luck, Sen (eds.) Proceedings of AAMAS (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Y. (2011). Reasoning about Protocol Change and Knowledge. In: Banerjee, M., Seth, A. (eds) Logic and Its Applications. ICLA 2011. Lecture Notes in Computer Science(), vol 6521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18026-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-18026-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18025-5
Online ISBN: 978-3-642-18026-2
eBook Packages: Computer ScienceComputer Science (R0)