我们可以使用链接到您的Project Euclid帐户的电子邮件地址帮助您重置密码。
我们定义正常前的模态逻辑并证明S1（第一阶段）,S1（第一阶段）$^\约$，第0.9期、和第0.9期$^\circ$是刘易斯版本对于某些规范前逻辑，确定性和可判定性是直接的。最后我们描述了克雷斯韦尔逻辑并思考C.I.Lewis在S1（第一阶段）.
布莱恩·谢拉斯（Brian F.Chellas）。 克里斯特·塞格伯格。 ”附近的模态逻辑S1（第一阶段）” 圣母院J.形式逻辑 37 (1) 1 - 24, 1996年冬季。 https://doi.org/10.1305/ndjfl/1040067312
