Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
GPU-Accelerated Search and Certification of Bounded Indistinguishability in Finite Kripke Semantics
Faruk Alpay, Baris Basaran
We study finite Kripke semantics as an explicit search and certification problem for modal formulas. Sets of worlds are encoded as integer bitmasks, so Boolean connectives, ,…
cs.LO2026
A Calculus of Apartness over Separoids: Effective Convex Representation, Stratified Conservativity, and the Complexity of Entailment
Faruk Alpay, Baris Basaran
Every finite family of compact convex bodies in Euclidean space induces an apartness relation between disjoint index sets: two sets are apart when the convex hulls of the correspon…
cs.LO2026
Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
Faruk Alpay, Baris Basaran
Biprofile deviation logic models strategic social choice states as pairs , where is the true profile used for welfare comparisons and is the submitted report profile…