TOPOS SEMANTICS FOR HIGHER-ORDER MODAL LOGIC

被引：5
|
作者：
Awodey, Steve [1 ]
Kishida, Kohei [2 ]
Kotzsch, Hans-Christoph [3 ]
机构：
[1] Carnegie Mellon Univ, Dept Philosophy, Pittsburgh, PA 15213 USA
[2] Univ Oxford, Dept Comp Sci, Oxford OX1 2JD, England
[3] Ludwig Maximilians Univ Munchen, Munich Ctr Math Philosophy, Munich, Germany
来源：
LOGIQUE ET ANALYSE | 2014年 / 228期
关键词：
D O I：
10.2143/LEA.228.0.3078176
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
[No abstract available]
引用
收藏
页码：591 / 636
页数：46
相关论文
共 50 条
  • [1] Topos Semantics for a Higher-order Temporal Logic of Actions
    Johnson-Freyd, Philip
    Aytac, Jon
    Hulette, Geoffrey
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (323): : 161 - 171
  • [2] HAUPTSATZ FOR HIGHER-ORDER MODAL LOGIC
    NISHIMURA, H
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 744 - 751
  • [3] Higher-order modal logic - A sketch
    Fitting, H
    [J]. AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
  • [4] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    [J]. ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [5] Modal Pluralism and Higher-Order Logic
    Clarke-Doane, Justin
    McCarthy, William
    [J]. PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
  • [6] RESULTS IN HIGHER-ORDER MODAL LOGIC
    GALLIN, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 197 - 198
  • [7] Extensional Semantics for Higher-Order Logic Programs with Negation
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 447 - 462
  • [8] Higher-order logic programming languages with constraints: A semantics
    Lipton, James
    Nieva, Susana
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 272 - +
  • [9] Alternation Is Strict For Higher-Order Modal Fixpoint Logic
    Bruse, Florian
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 105 - 119
  • [10] A Relational Modal Logic for Higher-Order Stateful ADTs
    Dreyer, Derek
    Neis, Georg
    Rossberg, Andreas
    Birkedal, Lars
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (01) : 185 - 198
12345