ON EXTENSION OF BETHS SEMANTICS OF PHYSICAL THEORIES

被引：81
|
作者：
VANFRAAS.BC
机构：
来源：
PHILOSOPHY OF SCIENCE | 1970年 / 37卷 / 03期
关键词：
D O I：
10.1086/288311
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：325 / &
相关论文
共 50 条
  • [41] Initial and terminal semantics for glued theories in institutions
    Ying, Mingsheng
    Ruan Jian Xue Bao/Journal of Software, 1996, 7 (06): : 360 - 363
  • [42] Linguistic frequency theories and quantitative facts in semantics
    Loiseau, Slain
    3E CONGRES MONDIAL DE LINGUISTIQUE FRANCAISE, 2012, 1 : 1861 - 1875
  • [43] Semantics and complexity of abduction from default theories
    Eiter, T
    Gottlob, G
    Leone, N
    ARTIFICIAL INTELLIGENCE, 1997, 90 (1-2) : 177 - 223
  • [44] Modular Semantics for Theories: An Approach to Paraconsistent Reasoning
    Andreas, Holger
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (05) : 877 - 912
  • [45] An Ocarina Extension for AADL Formal Semantics Generation
    Mkaouar, Hana
    Zalila, Bechir
    Hugues, Jerome
    Jmaiel, Mohamed
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1402 - 1409
  • [46] PEARS: Physics Extension and Representation Through Semantics
    Eckstein, Benjamin
    Lugrin, Jean-Luc
    Wiebusch, Dennis
    Latoschik, Marc Erich
    IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, 2016, 8 (02) : 178 - 189
  • [47] Explaining Semantics and Extension Membership in Abstract Argumentation
    Besnard, Philippe
    Doutre, Sylvie
    Duchatelle, Theo
    Lagasquie-Schiex, Marie-Christine
    INTELLIGENT SYSTEMS WITH APPLICATIONS, 2022, 16
  • [48] Semantics of Computable Physical Models
    Szudzik, Matthew P.
    STUDIA LOGICA, 2023, 111 (05) : 779 - 819
  • [49] An Extension of the Stable Semantics via Lukasiewicz Logic
    Osorio, Mauricio
    Carballido Carranza, Jose Luis
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 354 : 141 - 155
  • [50] Dynamic Class Initialization Semantics: A Jinja Extension
    Mansky, Susannah
    Gunter, Elsa L.
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 209 - 221
12345