Passeto, LucaLucaPassetoBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932025-12-082025-12-0820251613-0073https://fis.uni-bamberg.de/handle/uniba/112064engVisualizing Kripke Models in LogiKEy : the Case of SDLconferenceobjecthttps://ceur-ws.org/Vol-4117/LPLR2025_short_1.pdf