# Intensional FOL: Many-Sorted Extension

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

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 19 references that are in the map.
- First posted on arXiv 3 Sep 2024.

## Builds on (most cited first, 1 of 1)

- [Strong-AI Autoepistemic Robots Build on Intensional First Order Logic](https://mlsanity.com/paper/2212.07935/) (2022)

## Abstract (arXiv)

The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly based on the fact that a natural language is implicitly many-sorted and that we intend to use IFOL to support applications that use natural languages. Thus, the proposed version of many-sorted IFOL is just the completion of this conceptual feature of the IFOL.