Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

Willem Conradie, Valentin Goranko, Dimiter Vakarelov

    Research output: Contribution to journalJournal articleResearchpeer-review

    Fingerprint Dive into the research topics of 'Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA'. Together they form a unique fingerprint.

    Mathematics