Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian Suchanek
4/2/2026
cs.AI

No confident code implementation found for this paper.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses

80% match2025

The Quantified Boolean Bayesian Network: Theory and Experiments with a Logical Graphical Model

79% match1 repo272024

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

78% match2025

Temporal Ensemble Logic

78% match2024

Complexity of Faceted Explanations in Propositional Abduction

78% match2025

Teaching Higher-Order Logic Using Isabelle

77% match2024

Cite this paper

@article{coumes2026qiana,
  title  = {Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality},
  author = {Simon Coumes and Pierre-Henri Paris and François Schwarzentruber and Fabian Suchanek},
  year   = {2026},
  eprint = {2604.01952},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2604.01952v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2604.01952.svg)](https://codeofpaper.com/paper/2604.01952)

Discussion