出版社：Philosophy Department, University of Melbourne
摘要：The paper rst proves the completeness of the (non-modal) rst-order predicate logic presented in Carnap's 1946 article `Modalities and quanti cation'. By contrast the modal logic de ned by the semantics Carnap produces is unaxiomatisable. One can though adapt Carnap's semantics so that a standard completeness proof for a Carnapian version of predicate S5 turns out to be available.
