Modular sequent calculi for classical modal logics

David Gilbert, Paolo Maffezioli

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
8 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Modular sequent calculi for classical modal logics'. Together they form a unique fingerprint.

Keyphrases

Computer Science