Peter MillicanMichael J. WooldridgeThem and Us: Autonomous Agents In Vivo and In Silico.547-5672014Johan van Benthem on Logic and Information Dynamicshttps://doi.org/10.1007/978-3-319-06025-5_20books/daglib/0037002db/books/collections/BS2014.html#MillicanW14