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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
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.
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)