Predicate Liftings Versus Nabla Modalities

被引：7
|
作者：
Leal, Raul Andres [1 ]
机构：
[1] Univ Amsterdam, ILLC, Amsterdam, Netherlands
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 203卷 / 05期
关键词：
Coalgebra; modal logic; predicate lifting; singleton lifting; Moss' modality; logical translator;
D O I：
10.1016/j.entcs.2008.05.026
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We compare Moss' language and languages with predicate liftings. We prove that every monadic predicate lifting for a Kripke polynomial functor can be translated into Moss' language. We also prove that Moss' modality can always be translated into an appropriate language with predicate liftings.
引用
收藏
页码：195 / 220
页数：26
相关论文
共 50 条
  • [21] Outcomes versus complications in patients undergoing different modalities of injection laryngoplasty
    Darweesh, Mohamed E.
    El-Gazzar, Aml F. Y.
    Sarag, Shaimaa M.
    Sheikhany, Ayat-Allah Raouf
    EGYPTIAN JOURNAL OF OTOLARYNGOLOGY, 2021, 37 (01):
  • [22] Glioma recurrence versus radiation necrosis: accuracy of current imaging modalities
    George A. Alexiou
    Spyridon Tsiouris
    Athanasios P. Kyritsis
    Spyridon Voulgaris
    Maria I. Argyropoulou
    Andreas D. Fotopoulos
    Journal of Neuro-Oncology, 2009, 95 : 1 - 11
  • [23] Outcomes versus complications in patients undergoing different modalities of injection laryngoplasty
    Mohamed E. Darweesh
    Aml F. Y. El-Gazzar
    Shaimaa M. Sarag
    Ayat-Allah Raouf Sheikhany
    The Egyptian Journal of Otolaryngology, 2021, 37
  • [24] Glioma recurrence versus radiation necrosis: accuracy of current imaging modalities
    Alexiou, George A.
    Tsiouris, Spyridon
    Kyritsis, Athanasios P.
    Voulgaris, Spyridon
    Argyropoulou, Maria I.
    Fotopoulos, Andreas D.
    JOURNAL OF NEURO-ONCOLOGY, 2009, 95 (01) : 1 - 11
  • [25] Expression Modalities: How Speaking Versus Writing Shapes Word of Mouth
    Berger, Jonah
    Rocklage, Matthew D.
    Packard, Grant
    JOURNAL OF CONSUMER RESEARCH, 2022, 49 (03) : 389 - 408
  • [26] Caution is Required when Comparing the Effectiveness of Voluntary versus Stimulated versus Combined Strength Training Modalities
    Nicola A. Maffiuletti
    Sports Medicine, 2008, 38 : 437 - 438
  • [27] Do moods express modalities? Indicative versus subjunctive in complement clauses
    Gosselin, Laurent
    LINGUISTICAE INVESTIGATIONES, 2016, 39 (01): : 143 - 189
  • [28] Caution is required when comparing the effectiveness of voluntary versus stimulated versus combined strength training modalities
    Maffitiletti, Nicola A.
    SPORTS MEDICINE, 2008, 38 (05) : 437 - 438
  • [29] Brain Radiation Necrosis versus Tumor Recurrance: Efficacy of Different Modalities versus Biopsy/Surgery and Clinical Results
    Antar, M. A.
    McIntyre, W.
    Barnett, G.
    EUROPEAN JOURNAL OF NUCLEAR MEDICINE AND MOLECULAR IMAGING, 2005, 32 : S180 - S180
  • [30] Caution is required when comparing the effectiveness of voluntary versus stimulated versus combined strength training modalities - Reply
    Paillard, Thierry
    SPORTS MEDICINE, 2008, 38 (05) : 438 - 440
12345