FOMOD is constant-time testable on bounded-degree bounded-component-size graphs by tailoring Hanf normal form and using a number-theoretic patchability condition to combine local samples into global information.
Hanf normal form for first-order logic with unary counting quantifiers
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Statistical model checking reproduces key stylized facts of the Island Model with confidence intervals, confirms moderate exploration rates are optimal, and enables counterfactual sensitivity analysis across parameters.
citing papers explorer
-
Constant time testability of first-order logic with modulo counting on finitary graphs
FOMOD is constant-time testable on bounded-degree bounded-component-size graphs by tailoring Hanf normal form and using a number-theoretic patchability condition to combine local samples into global information.
-
Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth
Statistical model checking reproduces key stylized facts of the Island Model with confidence intervals, confirms moderate exploration rates are optimal, and enables counterfactual sensitivity analysis across parameters.