modeling nomic
ID: f3661a4c-5a8f-407d-b62b-3d37dd5471ca REVIEW_SCORE: 0.0 MTIME: [2024-12-25 Wed 15:54]
1. litrev
1.1. original
- suberappendix1990
- hofstadtermetamagical1996
1.2. other formalization efforts (of nomic, other natlang games, or mechanism design)
- bronmodeling2007
- vreeswijkformalizing1995
- camilleriplaying2010natural language
- prakkenformalizing1998formalizing robert's rules of order
- wooldridgelogic2007automated mechanism design
1.3. supporting machinery
- lescanneSimpleCaseRationality2013games of escalation
- lescannedeconstruction2009infinite games using coinduction
- pereabackward2010backward induction vs forward induction reasoning
- ghoshstrategies2008dynamic game logic
- aluralternatingtime2002ATL
- pereaBeliefOpponentsFuture2014belief in opponents' future rationality: formalization of implicit assumption underlying why we reason backwards. also a construction of "backwards dominance".
1.4. motivation
- ghoshlogic2010empirical reasoning in long form games
- ausubellovely2006lonely vickrey, the notion of a game's stability in mechanism design space
- chennew2009resilient mechanism design
- zwickerplaying1987hypergame
- anscombeIntention2000intention as a psychological truth, action under a description
1.5. general reference
REVIEW_SCORE: 0.07500000000000001
- benthemmodal2010modal logic
- benthemmodels2016models of strategic reasoning
1.6. to read (then to remove or move under other headers)
ID: 1c06339b-bb56-415c-af3b-656095be1701 REVIEW_SCORE: 0.0 MTIME: [2024-12-25 Wed 15:54]
- hashimotometaevolutionary2003mathematical rule dynamics
- sillarirulefollowing2013sillari on rule-following as coordination
- baskentlogic2011strategy update logic
- kaiserplaying2010general structure rewriting games
- bellDecisionMakingDescriptive1988summary volume on state of the study of decision-making in 1988.
- garrabrantCartesianFrames2021swappable ontologies to interpret an action under
This node is a singleton!