Model theory for modal logic—part II the elimination of De re modality
暂无分享,去创建一个
[1] Terence Parsons,et al. Essentialism and Quantified Modal Logic , 1969 .
[2] Nino B. Cocchiarella,et al. On the primary and secondary semantics of logical necessity , 1975, J. Philos. Log..
[3] Kenneth A. Bowen,et al. Model theory of modal logic , 2007, Handbook of Modal Logic.
[4] Max J. Cresswell. The Elimination of De Re Modalities , 1969, J. Symb. Log..
[5] G. P. Henderson,et al. An Essay in Modal Logic. , 1953 .
[6] Thomas J. McKay. Essentialism in quantified modal logic , 1975, J. Philos. Log..
[7] Kit Fine,et al. Properties, propositions and sets , 1977, J. Philos. Log..