most citedA Bayesian approach to out-of-sample network reconstruction

1 citations

researchers with a paper here
collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

Ultrafilter Extensions for Veltman Semantics

Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo +1

In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame condition holds both on ILM…