Necessity and contingency
暂无分享，去创建一个
The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator Δ meaning ‘it is non-contingent that’.
[1] K. Segerberg. Classical propositional operators , 1982 .
[2] Richard Routley,et al. Contingency and non-contingency bases for normal modal logics , 1966 .
[3] Max J. Cresswell,et al. A companion to modal logic , 1984 .