First-order modal theories

This paper is part of a general programme of developing and investigating particular first-order modal theories. In the paper, a modal theory of propositions is constructed under the assumption that there are genuinely singular propositions, ie. ones that contain individuals as constituents. Various results on decidability, axiomatizability and definability are established.

[1]  W. V. Quine,et al.  On Reduction to a Symmetric Relation , 1952, J. Symb. Log..

[2]  Kit Fine.  Model theory for modal logic—part II the elimination of De re modality , 1978, J. Philos. Log..

[3]  R. A. Bull.  On Modal Logic with Propositional Quantifiers , 1969, J. Symb. Log..

[4]  A. Prior,et al.  Objects of thought , 1972 .

[5]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[6]  Kit Fine.  Model theory for modal logic part I—The De re/de dicto distinction , 1978, J. Philos. Log..

[7]  Kenneth A. Bowen,et al.  Model theory of modal logic , 2007, Handbook of Modal Logic.

[8]  Alonzo Church,et al.  Some theorems on definability and decidability , 1952, Journal of Symbolic Logic.

[9]  Kit Fine,et al.  Properties, propositions and sets , 1977, J. Philos. Log..