FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS.

Saved in:

Bibliographic Details
Title:	FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS.
Authors:	HARRISON-TRAINOR, MATTHEW¹ matthew.harrisontrainor@vuw.ac.nz
Source:	Review of Symbolic Logic. Dec2019, Vol. 12 Issue 4, p637-662. 26p.
Database:	Mathematics Source

Description
ISSN:	17550203
DOI:	10.1017/S1755020319000418