Seeing as the program has to include a theorem prover, a large piece of software that will need to prove theorems about itself and the other guy’s prover… I’d say Löbian cooperation is not your best bet in this tournament :-)
But maybe Patrick could hold his own tournament. Mihaly and Marcello wrote a working simulator which can handle “modal agents” like Patrick’s PrudentBot.
Seeing as the program has to include a theorem prover, a large piece of software that will need to prove theorems about itself and the other guy’s prover… I’d say Löbian cooperation is not your best bet in this tournament :-)
But maybe Patrick could hold his own tournament. Mihaly and Marcello wrote a working simulator which can handle “modal agents” like Patrick’s PrudentBot.
I wish to second this proposal.