modeling nomic

litrev

original

  2. (Hofstadter, Douglas 1996)

other formalization efforts (of nomic, other natlang games, or mechanism design)

  1. (Bron, Marc and El-Ali, Abdallah and Ji, Xingrui and Klarman, Szymon 2007)
  2. (Vreeswijk, Gerardus Antonius Wilhelmus 1995)
  3. (Camilleri, John J. and Pace, Gordon J. and Rosner, Michael 2010) natural language
  4. (Prakken, Henry 1998) formalizing robert's rules of order
  5. (Wooldridge, Michael and Agotnes, Thomas and Dunne, Paul E. and Van der Hoek, Wiebe 2007) automated mechanism design

supporting machinery

  1. (Lescanne, Pierre 2013) games of escalation
  2. infinite games using coinduction
  3. (Perea, Andres 2010) backward induction vs forward induction reasoning
  4. (Ghosh, Sujata 2008) dynamic game logic
  5. ATL
  6. (Perea, Andrés 2014) belief in opponents' future rationality: formalization of implicit assumption underlying why we reason backwards. also a construction of "backwards dominance".

motivation

  1. (Ghosh, Sujata and Meijering, Ben and Verbrugge, Rineke 2010) empirical reasoning in long form games
  2. lonely vickrey, the notion of a game's stability in mechanism design space
  3. resilient mechanism design
  4. hypergame
  5. intention as a psychological truth, action under a description

general reference

  1. (family=Benthem, given=Johan, prefix=van, useprefix=false 2010) modal logic
  2. (family=Benthem, given=Johan, prefix=van, useprefix=false and Ghosh, Sujata and Verbrugge, Rineke 2016) models of strategic reasoning

to read (then to remove or move under other headers)

  1. (Hashimoto, Takashi and Kumagai, Yuya 2003) mathematical rule dynamics
  2. (Sillari, Giacomo 2013) sillari on rule-following as coordination
  3. (Başkent, Can 2011) strategy update logic
  4. (Kaiser, \textbackslash Lukasz and Stafiniak, \textbackslash Lukasz 2010) general structure rewriting games
  5. (Bell, David E. and Raiffa, Howard and Tversky, Amos 1988) summary volume on state of the study of decision-making in 1988.
  6. (Garrabrant, Scott and Herrmann, Daniel A. and Lopez-Wild, Josiah 2021) swappable ontologies to interpret an action under

Validate