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 条
  • [41] SOME OPERATIONAL FORMULAS
    ALSALAM, WA
    ISMAIL, MEH
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1975, 51 (01) : 208 - 218
  • [42] SOME FORECASTING FORMULAS
    GERRARD, AM
    CHEMICAL ENGINEER-LONDON, 1981, (365): : 70 - 70
  • [43] Some product formulas
    Pablo Andres Panzone
    Boletín de la Sociedad Matemática Mexicana, 2023, 29
  • [44] SOME OPERATIONAL FORMULAS
    NASH, H
    FIBONACCI QUARTERLY, 1976, 14 (01): : 1 - 8
  • [45] SOME OPERATIONAL FORMULAS
    CARLITZ, L
    MATHEMATISCHE NACHRICHTEN, 1970, 45 (1-6) : 379 - &
  • [46] Some product formulas
    Panzone, Pablo Andres
    BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA, 2023, 29 (03):
  • [47] Some new formulas for π
    Almkvist, G
    Krattenthaler, C
    Petersson, J
    EXPERIMENTAL MATHEMATICS, 2003, 12 (04) : 441 - 456
  • [48] ON SOME SUMMATION FORMULAS
    ARHIPOV, GI
    CHUBARIKOV, VN
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1987, (05): : 29 - 32
  • [49] SOME MULTIPLICATION FORMULAS
    CHATTERJ.SK
    BASU, DK
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 268 (03): : 143 - &
  • [50] SOME FORMULAS OF OLTRAMARE
    CARLITZ, L
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1952, 58 (04) : 449 - 449
12345