Hallden-completeness by gluing of Kripke frames

J. F.A.K. van Benthem, I. L. Humberstone

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)
Original languageEnglish
Pages (from-to)426-430
Number of pages5
JournalNotre Dame Journal of Formal Logic
Volume24
Issue number4
DOIs
Publication statusPublished - 1 Jan 1983

Cite this