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 条
  • [1] The complexity of the modal predicate logic of "true in every transitive model of ZF"
    McGee, V
    JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (04) : 1371 - 1378
  • [2] The validities of PEP and some characteristic formulas in modal logic
    Zhang, H
    He, HC
    Artificial Intelligence Applications and Innovations II, 2005, 187 : 871 - 881
  • [3] SOME NEW FOUR - POINT QUADRATURE FORMULAS
    Acu, Ana Maria
    Rafiq, Arif
    Sofonca, Florin
    ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, 2009, 17 (03): : 1 - 13
  • [4] IS EVERY POLYGONAL REGION ILLUMINABLE FROM SOME POINT
    KLEE, V
    AMERICAN MATHEMATICAL MONTHLY, 1969, 76 (02): : 180 - &
  • [5] SOME MASS FORMULAS IN QUARK MODEL
    AZIMOV, YI
    ANISOVIC.VV
    ANSELM, AA
    DANILOV, GS
    DYATLOV, IT
    SOVIET JOURNAL OF NUCLEAR PHYSICS-USSR, 1966, 2 (03): : 417 - &
  • [6] THE TRUE MODAL LOGIC
    MENZEL, C
    JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (04) : 331 - 374
  • [7] SOME RESULTS IN MODAL MODEL THEORY
    MORTIMER, M
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (03) : 496 - 508
  • [8] Separating sets by modal formulas
    Heinemann, B
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 140 - 153
  • [9] Characterising Modal Formulas with Examples
    Ten Cate, Balder
    Koudijs, Raoul
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (02)
  • [10] Some Improvements using Stabilization Diagram to Identify True or False Modal Parameters
    Luo, Wenbo
    Wang, Li
    Ying Yong Li Xue Xue Bao/Chinese Journal of Applied Mechanics, 16 (02): : 112 - 116
12345