2-IKV-952 Formal Methods in Cognitive Science