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 条
  • [31] Modalities of Mechanical Ventilation Volume-Targeted Versus Pressure-Limited
    Lozano, Shanny M.
    Newnam, Katherine M.
    ADVANCES IN NEONATAL CARE, 2016, 16 (02) : 99 - 107
  • [32] Man Versus Machine: Rapid Response Team Education Via Different Modalities
    Vergis, A.
    Weiss, M.
    Meyer, J.
    Wessel, S.
    Borgetti, S.
    Mbachu, S.
    Iusim, S.
    Kapp, C. M.
    Joo, M. J.
    AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, 2017, 195
  • [33] Ejection Fraction Derived by Noninvasive Modalities Versus Left Ventricular Angiographic Determination
    Tak, Tahir
    CLINICAL MEDICINE & RESEARCH, 2005, 3 (02) : 61 - 62
  • [34] Treatment Modalities and Outcomes of Patients with Severe Influenza A Pneumonia: 2016 Versus 2009
    Choi, H.
    Chung, C.
    Ko, U.
    Hong, S.
    AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, 2018, 197
  • [35] A Comparison of Delivery Modalities for Pregnancy Clinical Care Management: Telephonic Versus Video
    Williams, Kelly
    Winger, Mary
    McIntyre, Aisling
    Domalakes, Katie
    Stevenson, Heidi
    Khouri, Natasha
    MEDICAL CARE, 2024, 62 (12) : 803 - 808
  • [36] Preferred Versus Novel Exercise Modalities on Endogenous Pain Inhibition Following Exercise
    Peterson, Jessica
    Schubert, Daniel
    Bemben, Michael
    Campbell, Jason
    Black, Christopher
    MEDICINE AND SCIENCE IN SPORTS AND EXERCISE, 2018, 50 (05): : 515 - 515
  • [37] The Efficiency of Kinesiotherapy versus Physical Modalities on Pain and Other Common Complaints in Fibromyalgia
    Matei, Daniela
    Traistaru, Rodica
    Padureanu, Vlad
    Avramescu, Taina Elena
    Neagoe, Daniela
    Genunche, Amelia
    Amzolini, Anca
    LIFE-BASEL, 2024, 14 (05):
  • [38] Comparative Study of Novel Versus Conventional Scanning Modalities for Radiochromic Film Dosimetry
    Rosen, B.
    Soares, C.
    Minniti, R.
    DeWerd, L.
    MEDICAL PHYSICS, 2013, 40 (06)
  • [39] Identical Twins and Different Treatment Modalities: Chin Cup versus Face Mask
    Altug-Atac, Ayse Tuba
    Ozdemir, Berna
    Oz, Ulas
    Ozdiler, Erhan
    TURKISH JOURNAL OF ORTHODONTICS, 2006, 19 (03) : 257 - 271
  • [40] STEROIDS VERSUS NONSTEROIDS IN THE TREATMENT OF CUTANEOUS INFLAMMATION - THERAPEUTIC MODALITIES FOR OFFICE USE
    PANCONESI, E
    LOTTI, T
    ARCHIVES OF DERMATOLOGICAL RESEARCH, 1992, 284 : S37 - S41
12345