modeling nomic

litrev

original

  1. Suber

  2. Hofstadter

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

  1. Bron…

  2. Vreeswijk

  3. Camilleri… natural language

  4. Prakken formalizing robert's rules of order

  5. Wooldridge… automated mechanism design

supporting machinery

  1. Lescanne games of escalation

  2. Lescanne infinite games using coinduction

  3. Perea backward induction vs forward induction reasoning

  4. Ghosh dynamic game logic

  5. Alur… ATL

  6. Perea belief in opponents' future rationality: formalization of implicit assumption underlying why we reason backwards. also a construction of "backwards dominance".

motivation

  1. Ghosh… empirical reasoning in long form games

  2. Ausubel… lonely vickrey, the notion of a game's stability in mechanism design space

  3. Chen & Micali resilient mechanism design

  4. Zwicker hypergame

  5. Anscombe intention as a psychological truth, action under a description

general reference

  1. prefix=van modal logic

  2. prefix=van… models of strategic reasoning

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

  1. Hashimoto & Kumagai mathematical rule dynamics

  2. Sillari sillari on rule-following as coordination

  3. Başkent strategy update logic

  4. Kaiser & Stafiniak general structure rewriting games

  5. Bell… summary volume on state of the study of decision-making in 1988.

  6. Garrabrant… swappable ontologies to interpret an action under