Skip to content
GitLab

Model checking via Effectivity Frames

Open Simon Prucker requested to merge effectFrames into modcheck

We extended the model checking implementation for Coalition Logic with Effectivity Frame Semantics.