Interpolation in (fibered) modal logic.

M.J. Marx

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of AMAST 1998, AMAST'98 Algebraic Methodology and Software Technology 4-8 January 1999, Manaus, Amazonia, Brazil.
Publication statusPublished - 1999

Cite this