수리논리학의 발전은 20세기의 최초의 수십 년, 특히 괴델 및 타르스키의 저작에 의해서 일어나, 분석 철학이나 철학적 논리학, 특히 1950년대 이후에 양상 논리나 시상 논리, 의무 논리, 적절함의 논리 등에 영향을 주었다.
Progress in mathematical logic in the first few decades of the twentieth century, particularly arising from the work of Gödel and Tarski, had a significant impact on analytic philosophy and philosophical logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic.WikiMatrix WikiMatrix