A Logical Framework for Convention

被引：0
|
作者：
Giacomo Sillari
机构：
来源：
Synthese | 2005年 / 147卷
关键词：
Logical Framework;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：379 / 400
页数：21
相关论文
共 50 条
  • [1] A logical framework for convention
    Sillari, G
    [J]. SYNTHESE, 2005, 147 (02) : 379 - 400
  • [2] Soames on the logical empiricists on truth, meaning, convention, and logical truth
    Gomez-Torrente, Mario
    [J]. PHILOSOPHICAL STUDIES, 2019, 176 (05) : 1357 - 1365
  • [3] Soames on the logical empiricists on truth, meaning, convention, and logical truth
    Mario Gómez-Torrente
    [J]. Philosophical Studies, 2019, 176 : 1357 - 1365
  • [4] Logical Relations for a Logical Framework
    Rabe, Florian
    Sojakova, Kristina
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (04)
  • [5] A logical framework
    Nancholas, S
    [J]. HEALTH POLICY AND PLANNING, 1998, 13 (02) : 189 - 193
  • [6] A framework convention on health
    不详
    [J]. REPRODUCTIVE HEALTH MATTERS, 2013, 21 (42) : 220 - 220
  • [7] On a logical framework for 'generally'
    Veloso, SRM
    Veloso, PAS
    [J]. LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2001, 7 : 279 - 286
  • [8] A Contextual Logical Framework
    Bock, Peter Brottveit
    Schuermann, Carsten
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 402 - 417
  • [9] A linear logical framework
    Cervesato, I
    Pfenning, F
    [J]. INFORMATION AND COMPUTATION, 2002, 179 (01) : 19 - 75
  • [10] 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
12345