Halldén-completeness by gluing of Kripke frames
| Authors |
|
|---|---|
| Publication date | 1983 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | Issue number | 24 | 4 |
| Pages (from-to) | 426-430 |
| Organisations |
|
| Document type | Article |
| Note | http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.ndjfl/1093870446&view=body&content-type=pdf_1 fulltext available at this URL |
| Permalink to this page | |