首页> 外文OA文献 >Local Realizability Toposes and a Modal Logic for Computability (Extended Abstract)

【2h】

Local Realizability Toposes and a Modal Logic for Computability (Extended Abstract)

机译：本地可实现性和可计算性的模态逻辑（扩展摘要）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Awodey Steven; Birkedal Lars; Scott Dana S.;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes [J] . Jetze Zoethout Mathematical structures in computer science . 2021,第2期

机译：在（CO）部分组合代数的产品上，用应用程序推出可实现性拓扑
2. Characterizing partitioned assemblies and realizability toposes [J] . Frey Jonas Journal of pure and applied algebra . 2019,第5期

机译：分区组件和可实现性拓扑
3. Models of intuitionistic set theory in subtoposes of nested realizability toposes [J] . Maschio Samuele, Streicher Thomas Annals of Pure and Applied Logic . 2015,第6期

机译：嵌套可实现性子对象中的直觉集合论模型
4. Complexity of Multiagent BDI Logics with Restricted Modal Context(Extended Abstract) [C] . Marcin Dziubihski International conference on autonomous agents and multiagent systems;AAMAS 2011 . 2011

机译：受限模态上下文的多主体BDI逻辑的复杂性（扩展摘要）
5. Some results in computability and the proof theory of predicate modal logic [D] . Schwartz, Yehuda. 2012

机译：谓词模态逻辑的可计算性和证明理论的一些结果
6. Abstract 59: Injectable Extended Release Local Anesthetic Drug Delivery System For The Treatment Of Post-operative Pain [O] . Brett Davis, Sierra Erickson, Susan Wojtalewicz, 2020

机译：摘要59：可注射延长释放局部麻醉药输送系统用于治疗术后疼痛
7. Local Realizability Toposes and a Modal Logic for Computability [O] . Awodey Steve, Birkedal Lars, Scott Dana 2000

机译：本地可实现性和可计算性的模态逻辑
8. Ideas on Multi-layer Dialogue Management for Multi-party, Multi- conversation, Multi-modal Communication (Extended Abstract of Invited Talk) [R] . Traum, D. R. 2006

机译：关于多方，多会话，多模式通信的多层对话管理的想法（邀请谈话的扩展摘要）

Local Realizability Toposes and a Modal Logic for Computability (Extended Abstract)

著录项

引文网络

相似文献

相关主题

期刊订阅