2 papers
cs.AI2026
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
Simon Coumes, Pierre-Henri Paris, François Schwarzentruber +1
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 exp…
cs.AI2023
Base-based Model Checking for Multi-Agent Only Believing (long version)
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language and…