@inproceedings{2371eae66ddf49c4bb23a3e21a6354b6,
title = "Qiana: A First-Order Formalism to Quantify over Contexts and Formulas",
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.",
author = "Simon Coumes and Paris, \{Pierre Henri\} and Fran{\c c}ois Schwarzentruber and Suchanek, \{Fabian M.\}",
note = "Publisher Copyright: {\textcopyright} 2024 Proceedings of the International Conference on Knowledge Representation and Reasoning. All rights reserved.; 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 ; Conference date: 02-11-2024 Through 08-11-2024",
year = "2024",
month = jan,
day = "1",
language = "English",
series = "Proceedings of the International Conference on Knowledge Representation and Reasoning",
publisher = "Association for the Advancement of Artificial Intelligence",
pages = "295--305",
editor = "Pierre Marquis and Pierre Marquis and Magdalena Ortiz and Maurice Pagnucco",
booktitle = "Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024",
}