Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
Abstract
We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that “everyone knows everything Alice says”. Qiana also permits paraconsistent logics within contexts, so that contexts can contain contradictions. Furthermore, Qiana is based on first-order logic, and is finitely axiomatizable, so that Qiana theories are compatible with pre-existing first-order logic theorem provers. We show how Qiana can be used to represent temporality, event calculus, and modal logic. We also discuss different design alternatives of Qiana.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Advanced Algebra and Logic
programming
and type systems
Publication details
- Journal / source
- Journal of Artificial Intelligence Research
- Volume
- 85
- Pages
- 12:1–12:35
- Publication date
- 16 February 2026
- Language
- EN