Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics.

Natalia Moanga

Browse the full SYNASC paper archive.