Andreas Herzig

Dynamic Logic for Data-aware Systems: Decidability Results

2017

We introduce a first-order extension of dynamic logic (FO-DL), suitable to represent and reason about the behaviour of Data-aware Systems (DaS), which are systems whose data content is explicitly exhibited in the system’s description. We …

Counterfactual Reasoning via Grounded Distance

2023

Conditional logics are usually interpreted in terms of closest world and minimal change. It relies on a measure of distance between worlds which is defined abstractly, i.e. as an element of the model. The typical …