Text this: Some modal logics associated to the reasoning of intelligent agents