Model existence theorems for modal and intuitionistic logics
The work
| Authors | Melvin Fitting |
|---|---|
| Editors | |
| Type | article |
| Year | 1973 |
| Citekey | fitting1973model |
Where it appeared
| Published in | The Journal of Symbolic Logic |
|---|---|
| Publisher | Cambridge University Press |
| Volume | 38 |
| Issue | 4 |
| Pages | 613--627 |
Identifiers
| DOI | 10.2307/2271986 |
|---|
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-21 05:52 UTC |
Filed under
Cite it as
@article{fitting1973model,
title = {Model existence theorems for modal and intuitionistic logics},
author = {Melvin Fitting},
year = {1973},
journal = {The Journal of Symbolic Logic},
publisher = {Cambridge University Press},
volume = {38},
number = {4},
pages = {613--627},
doi = {10.2307/2271986},
}
This record lives at https://refs.drheap.org/fitting1973model/ and will keep doing so.