# Mathematical Logic in Computer Science

arXiv: https://arxiv.org/abs/1802.03292 · HTML: https://mlsanity.com/paper/1802.03292/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Feb 2018.

## Built on by (most cited first, 4 of 4)

- [Logic-Based Explainability in Machine Learning](https://mlsanity.com/paper/2211.00541/) (2022)
- [On verifying expectations and observations of intelligent agents](https://mlsanity.com/paper/2205.00784/) (2022)
- [Curriculum Abductive Learning](https://mlsanity.com/paper/2505.12275/) (2025)
- [The Possibilistic Horn Non-Clausal Knowledge Bases](https://mlsanity.com/paper/2111.07648/) (2021)

## Abstract (arXiv)

The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.