Visualizing Kripke Models in LogiKEy : the Case of SDL

Faculty/Chair:

Author:

;

Title of the Journal:

CEUR workshop proceedings

ISSN:

1613-0073

Conference:

Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming ; Rende, Italy

Publisher Information:

Aachen, Germany : RWTH Aachen

Year of publication:

2025

Pages:

9

Language:

English

URL:

Peer Reviewed:

Yes:

International Distribution:

Yes:

Open Access Journal:

Yes:

Type:

Conferenceobject

URI:

Activation date:

December 8, 2025

Permalink https://fis.uni-bamberg.de/handle/uniba/112064