Expressing in a formal logical language
blokhin opened this issue · 2 comments
blokhin commented
Dear experts, is it possible to express at least a limited subset of a prisoner’s dilemma in a formal language, e.g. SAT, TPTP, LISP, or maybe even OWL?
blokhin commented
I could see the following quite preliminary attempts so far:
- Lisp by T. Thelen, 1997
- Lisp by C. Wellons, 2007
- (Haskell and Scala by @jpfuentes2, 2014)
drvinceknight commented
Hi @blokhin, I'm afraid I'm not too familiar with those languages.