Modal Formulas True at Some Point in Every Model

被引：0
|
作者：
Humberstone, Lloyd [1 ]
机构：
[1] Monash Univ, Clayton, Vic, Australia
来源：
AUSTRALASIAN JOURNAL OF LOGIC | 2008年 / 6卷
关键词：
D O I：
暂无
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
In a paper on the logical work of the Jains, Graham Priest considers a consequence relation, semantically characterized, which has a natural analogue in modal logic. Here we give a syntactic/axiomatic description of the modal formulas which are consequences of the empty set by this relation, which is to say: those formulas which are, for every model, true at some point in that model.
引用
收藏
页码：70 / 82
页数：13
相关论文
共 50 条
  • [31] Agreeing with every single point
    J. Hardy
    British Dental Journal, 2019, 226 : 306 - 306
  • [32] An Algebraic Approach to Canonical Formulas: Modal Case
    Guram Bezhanishvili
    Nick Bezhanishvili
    Studia Logica, 2011, 99
  • [33] Inverse Images of Box Formulas in Modal Logic
    Humberstone, Lloyd
    STUDIA LOGICA, 2013, 101 (05) : 1031 - 1060
  • [34] FORMULAS IN MODAL LOGIC S4
    Sasaki, Katsumi
    REVIEW OF SYMBOLIC LOGIC, 2010, 3 (04): : 600 - 627
  • [35] FORMULAS OF MODAL DEGREE ONE - PRELIMINARY REPORT
    FITTING, M
    SONOBE, O
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (02): : A325 - A325
  • [36] An Algebraic Approach to Canonical Formulas: Modal Case
    Bezhanishvili, Guram
    Bezhanishvili, Nick
    STUDIA LOGICA, 2011, 99 (1-3) : 93 - 125
  • [37] Agreeing with every single point
    Hardy, J.
    BRITISH DENTAL JOURNAL, 2019, 226 (05) : 306 - 306
  • [38] Some Inversion Formulas and Formulas for Stirling Numbers
    Zhi-Hong Sun
    Graphs and Combinatorics, 2013, 29 : 1087 - 1100
  • [39] SOLID ANGLE SUBTENDED BY A CIRCULAR APERTURE AT POINT AND SPREAD SOURCES - FORMULAS AND SOME TABLES
    JAFFEY, AH
    REVIEW OF SCIENTIFIC INSTRUMENTS, 1954, 25 (04): : 349 - 354
  • [40] On some summation formulas
    Kim, Taekyun
    Kim, Dae San
    Lee, Hyunseok
    Kwon, Jongkyum
    DEMONSTRATIO MATHEMATICA, 2022, 55 (01) : 1 - 7
12345