Logical Systems and Model Theory constitute a foundational area bridging mathematics, computer science and philosophy through the formalisation of reasoning.

Ryo Takemura, Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization, Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 1 (February 2013), pp.

This paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is ...

Justification logic extends traditional modal frameworks by introducing explicit representations of evidential support, thereby refining our understanding of epistemic reasoning.

LLMs’ “simulated reasoning” abilities are a “brittle mirage,” researchers find Chain-of-thought AI "degrades significantly" when asked to generalize beyond training.

Apple's AI research team has uncovered significant weaknesses in the reasoning abilities of large language models, according to a newly published study.