我们可以使用链接到您的Project Euclid帐户的电子邮件地址帮助您重置密码。
本文分析了自反不敏感模态逻辑、可证明逻辑和强制模态逻辑之间的联系。由于表征自反不敏感逻辑的∘-算子和Boolos⊡-运算符的互定义性,自反不灵敏逻辑的表征结果可以用来给出boxdot猜想的部分解,并阐明一些密切相关的问题。反过来,这将有助于将自反敏感逻辑应用于研究强迫和真理的模态逻辑以及强迫持续句的逻辑。然后我们表明,强制的模态逻辑、强制与真的模态逻辑和强制持续的模态逻辑产生了相同的表征结果。我们的结论是,强制的模态逻辑应该更好地理解为类属绝对性的模态逻辑。
大卫·R·吉尔伯特。 乔治·文丘里。 “反射非敏感逻辑、Boxdot翻译和泛型绝对的模态逻辑。” 圣母院J.形式逻辑 62 (2) 269 - 283, 2021年5月。 https://doi.org/10.1215/00294527-2021-0014