Abstract
We propose a logic for describing the interaction between knowledge, preference, and the freedom to act, and their interactions with the norms of Priori and a Posteriori rationality, which we have argued for in previous work [3]. We then apply it to strategic games to characterise weak dominance and Nash equilibrium.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Areces, C., ten Cate, B.: Hybrid logics. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2006)
Danecki, S.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) Proceedings of the Fifth Symposium on Computation Theory, vol. 208, pp. 34–53. Springer (1984)
Guo, M., Seligman, J.: Making choices in social situations, http://www.illc.uva.nl/dg/wp-content/uploads/2012/07/yearbook.20111.pdf
Lemke, C.E., Howson, J.T.: Equilibrium points of bimatrix games. Journal of the Society for Industrial and Applied Mathematics 12, 413–423 (1964)
Lutz, C., Walther, D.: Pdl with negation of atomic programs. Journal of Applied Non-Classical Logics 15(2), 259–2732 (2005)
Nash, J.F.: Non-cooperative games. Annals of Mathematics 54, 286–295 (1951)
Passy, S., Tinchev, T.: Pdl with data constants. Information Processing Letters 20(1), 35–41 (1985)
Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. Information and Computation 93(2), 263–332 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guo, M., Seligman, J. (2013). The Logic of Priori and a Posteriori Rationality in Strategic Games. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)