Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561
Moritz Müller, Joost J. Joosten
We discuss model-checking problems as formal models of algorithmic law. Specifically, we ask for an algorithmically tractable general purpose model-checking problem that naturally…
cs.CC2023
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
Albert Atserias, Sam Buss, Moritz Müller
We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory…