2 papers
math.LO2026
A Class of Generalised Quantifiers for k-Variable Logics
Janek Härtter, Martin Otto
We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expr…
math.LO2025
On the expressive power of inquisitive epistemic logic
Ivano Ciardelli, Martin Otto
Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that the…