Nicolas Fröhlich, Arne Meier. Submodel Enumeration of Kripke Structures in Modal Logic. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 391-406, College Publications, 2022.
No references recorded for this publication.
No citations of this publication recorded.