Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay, Larisa Maksimova

Research output: Book/ReportBookpeer-review

97 Scopus citations

Fingerprint

Dive into the research topics of 'Interpolation and Definability: Modal and Intuitionistic Logics'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics