Languages developed for the purpose of formal logic, typically used in the study of mathematics or computer science.