FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS.
Saved in:
| Title: | FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS. |
|---|---|
| Authors: | HARRISON-TRAINOR, MATTHEW1 matthew.harrisontrainor@vuw.ac.nz |
| Source: | Review of Symbolic Logic. Dec2019, Vol. 12 Issue 4, p637-662. 26p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
