hxameer :qed: · @xameer
182 followers · 4151 posts · Server mathstodon.xyzdeciding on #decidability for calssical math guy is no different from being in a CLEFT STICK
Bornach · @bornach
377 followers · 1039 posts · Server fosstodon.org
@patrickcmiller
[Up and Atom] videos on #computability
https://youtu.be/t37GQgUPa6k
https://youtu.be/PLVCscCY4xI
#computability #youtube #TuringMachines #haltingproblem #decidability
nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.socialProperties of Logics of Individual and Group Agency
(2008) : Andreas Herzig and Fran{\c{c}}ois Schwarzentruber
url: http://www.aiml.net/volumes/volume7/
#STIT #STIT_logic #axiomatisation #complexity #decidability #deliberative_STIT #joint_action #log
#my_bibtex
#STIT #stit_logic #axiomatisation #complexity #decidability #deliberative_stit #joint_action #log #my_bibtex