Proof Checking and Knowledge by Intellection

被引：0
|
作者：
机构：
来源：
Philosophical Studies | 1998年 / 92卷
关键词：
Proof Check;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：85 / 112
页数：27
相关论文
共 50 条
  • [41] A Proof Theory for Model Checking: An Extended Abstract
    Heath, Quentin
    Miller, Dale
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (238): : 1 - 10
  • [42] Proof rules for model checking systems with data
    McMillan, KL
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 270 - 270
  • [43] SMT proof checking using a logical framework
    Aaron Stump
    Duckki Oe
    Andrew Reynolds
    Liana Hadarean
    Cesare Tinelli
    Formal Methods in System Design, 2013, 42 : 91 - 118
  • [44] Euclid after Computer Proof-Checking
    Beeson, Michael
    AMERICAN MATHEMATICAL MONTHLY, 2022, 129 (07): : 623 - 646
  • [45] SAT-Enhanced MIZAR Proof Checking
    Naumowicz, Adam
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, 2014, 8543 : 449 - 452
  • [46] Static and User-Extensible Proof Checking
    Stampoulis, Antonis
    Shao, Zhong
    ACM SIGPLAN NOTICES, 2012, 47 (01) : 273 - 284
  • [47] Model checking knowledge and time
    van der Hoek, W
    Wooldridge, M
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 95 - 111
  • [48] Quantitative Model Checking of Knowledge
    Wan, Wei
    Bentahar, Jamal
    Ben Hamza, Abdessamad
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2012, 246 : 91 - 107
  • [49] SIDH Proof of Knowledge
    De Feo, Luca
    Dobson, Samuel
    Galbraith, Steven D.
    Zobernig, Lukas
    ADVANCES IN CRYPTOLOGY- ASIACRYPT 2022, PT II, 2022, 13792 : 310 - 339
  • [50] INTELLECTION BY LEONARDO POLO
    Garcia, Juan A.
    THEMATA-REVISTA DE FILOSOFIA, 2014, (50): : 247 - 270
12345