Showing cs.LOShow 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.LO2017
The parameterized space complexity of model-checking bounded variable first-order logic
Yijia Chen, Michael Elberfeld, Moritz Müller
The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds true in a given relational stru…