Hanoi, Vietnam. November 2-8, 2024.
ISSN: 2334-1033
ISBN: 978-1-956792-05-8
Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization
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.