Volume: Vol-4117 ICLP-WS-DC 2025 | Year: 2025

Paper: « LPLR2025_paper_2 | LPLR2025_short_1 | CARLA2025_short_1 »

Visualizing Kripke Models in LogiKEy: the Case of SDL

• Luca Pasetto
• Christoph Benzmüller

9-9 PDF