deciding on #decidability for calssical math guy is no different from being in a CLEFT STICK
@patrickcmiller
[Up and Atom] videos on #computability
https://youtu.be/t37GQgUPa6k
https://youtu.be/PLVCscCY4xI
#computability #youtube #TuringMachines #haltingproblem #decidability
Properties 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