Giovanna D’Agostino,Giacomo Lenzi,关于传递框架上的互模拟量词和不动点的注释,逻辑与计算杂志,第18卷,第4期,2008年8月,第601–614页,https://doi.org/10.1093/logcom/exm085
我们考虑了关于模态逻辑在任意类别的框架上用一种特殊的命题量词(称为双模拟量词)扩展的三个基本问题:双模拟不变性、一致插值和表达能力。特别地:
我们讨论了互刺激量词的互刺激不变性与框架类融合的语义概念之间的关系;
–我们考虑了一种强形式的插值、均匀插值及其与互模拟量词下闭包的关系;
–我们将互模拟量词逻辑与更为著名的具有极值不动点的模态逻辑扩展进行了比较。
牛津学院的内容通常通过机构订阅和购买来提供。如果您是具有活动帐户的机构的成员,您可以通过以下方式之一访问内容:
通常,通过机构网络访问一系列IP地址。此身份验证会自动进行,并且无法注销经过IP身份验证的帐户。
选择此选项可在机构外部进行远程访问。Shibboleth/Open Athens技术用于在您所在机构的网站和牛津学院之间提供单点登录。
如果您所在的机构未被列出,或者您无法登录该机构的网站,请联系您的图书管理员或管理员。
输入您的图书馆卡号以登录。如果您无法登录,请联系您的图书管理员。
学会会员可以通过以下方式之一访问期刊:
许多社团在社团网站和牛津学院之间提供单点登录。如果您在日志的登录窗格中看到“通过社交网站登录”:
如果您没有社团帐户或忘记了用户名或密码,请联系您的社团。
一些社团使用牛津学院的个人账户为其成员提供访问权限。请参见下文。
个人帐户可用于获取电子邮件警报、保存搜索、购买内容和激活订阅。
一些社团使用牛津学院的个人账户为其成员提供访问权限。
单击右上角的帐户图标可以:
牛津学院是各种产品的发源地。机构订阅可能不包括您试图访问的内容。如果您认为您应该访问该内容,请联系您的图书管理员。
对于图书管理员和管理员,您的个人帐户还可以访问机构帐户管理。在这里,您可以找到查看和激活订阅、管理机构设置和访问选项、访问使用统计信息等选项。
要购买短期访问权限,请登录上述个人帐户。
还没有个人帐户吗?注册
登录或创建帐户
此PDF仅供订阅者使用
要完全访问此pdf,请登录现有帐户或购买年度订阅。