时间逻辑的一种范式及其在定理证明和执行中的应用

获取访问帮助

机构准入

牛津学院的内容通常通过机构订阅和购买来提供。如果您是具有活动帐户的机构的成员，您可以通过以下方式之一访问内容：

基于IP的访问

通常，通过机构网络访问一系列IP地址。此身份验证会自动进行，并且无法注销经过IP身份验证的帐户。

通过您的机构登录

选择此选项可在机构外部进行远程访问。Shibboleth/Open Athens技术用于在您所在机构的网站和牛津学院之间提供单点登录。

1. 单击通过您的机构登录。
2. 从提供的列表中选择您的机构，这会将您带到机构的网站进行登录。
3. 在机构网站上时，请使用您的机构提供的凭据。不要使用牛津学院的个人账户。
4. 成功登录后，您将返回牛津学院。

如果您所在的机构未被列出，或者您无法登录该机构的网站，请联系您的图书管理员或管理员。

使用图书卡登录

输入您的图书馆卡号以登录。如果您无法登录，请联系您的图书管理员。

协会成员

学会会员可以通过以下方式之一访问期刊：

通过社交网站登录

许多社团在社团网站和牛津学院之间提供单点登录。如果您在日志的登录窗格中看到“通过社交网站登录”：

1. 单击通过社交网站登录。
2. 在社团网站上时，请使用该社团提供的证书。不要使用牛津学院的个人账户。
3. 成功登录后，您将返回牛津学院。

如果您没有社团帐户或忘记了用户名或密码，请联系您的社团。

使用个人帐户登录

一些社团使用牛津学院的个人账户为其成员提供访问权限。请参见下文。

个人账户

个人帐户可用于获取电子邮件警报、保存搜索、购买内容和激活订阅。

一些社团使用牛津学院的个人账户为其成员提供访问权限。

查看您的登录帐户

单击右上角的帐户图标可以：

• 查看您已登录的个人帐户并访问帐户管理功能。
• 查看提供访问权限的机构帐户。

已登录但无法访问内容

牛津学院是各种产品的发源地。机构订阅可能不包括您尝试访问的内容。如果您认为您应该访问该内容，请联系您的图书管理员。

机构账户管理

对于图书管理员和管理员，您的个人帐户还可以访问机构帐户管理。在这里，您可以找到查看和激活订阅、管理机构设置和访问选项、访问使用统计信息等选项。