modeling nomic

litrev

original

  1. suberappendix1990
  2. hofstadtermetamagical1996

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

  1. bronmodeling2007
  2. vreeswijkformalizing1995
  3. camilleriplaying2010natural language
  4. prakkenformalizing1998formalizing robert's rules of order
  5. wooldridgelogic2007automated mechanism design

supporting machinery

  1. lescanneSimpleCaseRationality2013games of escalation
  2. lescannedeconstruction2009infinite games using coinduction
  3. pereabackward2010backward induction vs forward induction reasoning
  4. ghoshstrategies2008dynamic game logic
  5. aluralternatingtime2002ATL
  6. pereaBeliefOpponentsFuture2014belief in opponents' future rationality: formalization of implicit assumption underlying why we reason backwards. also a construction of "backwards dominance".

motivation

  1. ghoshlogic2010empirical reasoning in long form games
  2. ausubellovely2006lonely vickrey, the notion of a game's stability in mechanism design space
  3. chennew2009resilient mechanism design
  4. zwickerplaying1987hypergame
  5. anscombeIntention2000intention as a psychological truth, action under a description

general reference

  1. benthemmodal2010modal logic
  2. benthemmodels2016models of strategic reasoning

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

  1. hashimotometaevolutionary2003mathematical rule dynamics
  2. sillarirulefollowing2013sillari on rule-following as coordination
  3. baskentlogic2011strategy update logic
  4. kaiserplaying2010general structure rewriting games
  5. bellDecisionMakingDescriptive1988summary volume on state of the study of decision-making in 1988.
  6. garrabrantCartesianFrames2021swappable ontologies to interpret an action under

Author: Nix build user

Validate