Concept

Two-variable logic

Overview

In mathematical logic and computer science, two-variable logic is the fragment of first-order logic where formulae can be written using only two different variables. This fragment is usually studied without function symbols.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Mathematical logic
• Computer science
• Computational complexity theory

Place in the tradition

Part of Description logic.

Explore Two-variable logic in the interactive graph →