A logical framework

被引：13

作者：

Nancholas, S ^{[1
]}

机构：

[1] Univ Exeter, Inst Populat Studies, Exeter EX4 6DT, Devon, England

来源：

关键词：

D O I：

10.1093/heapol/13.2.189

中图分类号：

R19 [保健组织与事业（卫生事业管理）];

学科分类号：

摘要：

引用

页码：189 / 193

页数：5

共 50 条

[1] Logical Relations for a Logical Framework
Rabe, Florian
Sojakova, Kristina
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (04)
[2] On a logical framework for 'generally'
Veloso, SRM
Veloso, PAS
[J]. LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2001, 7 : 279 - 286
[3] A logical framework for convention
Sillari, G
[J]. SYNTHESE, 2005, 147 (02) : 379 - 400
[4] A Contextual Logical Framework
Bock, Peter Brottveit
Schuermann, Carsten
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 402 - 417
[5] A Logical Framework for Convention
Giacomo Sillari
[J]. Synthese, 2005, 147 : 379 - 400
[6] An open logical framework
Honsell, Furio
Lenisa, Marina
Scagnetto, Ivan
Liquori, Luigi
Maksimovic, Petar
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (01) : 293 - 335
[7] A linear logical framework
Cervesato, I
Pfenning, F
[J]. INFORMATION AND COMPUTATION, 2002, 179 (01) : 19 - 75
[8] The Logical Options Framework
Araki, Brandon
Li, Xiao
Vodrahalli, Kiran
DeCastro, Jonathan
Fry, J. Micah
Rus, Daniela
[J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139
[9] Hybridizing a Logical Framework
Reed, Jason
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (06) : 135 - 148
[10] A linear logical framework
Cervesato, I
Pfenning, F
[J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 264 - 275