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 条
  • [41] Cardiac output and cardiac index by echocardiography modalities versus thermodilution: a comparative study
    Kwa, H. K. Adam
    Aziman, M. H.
    Isa, M. H.
    Kasinathan, N.
    Usman, M. F.
    Abd Rani, M. N. H.
    EUROPEAN JOURNAL OF HEART FAILURE, 2019, 21 : 226 - 226
  • [42] On independent versus sequential reading in ROC studies of computer-assist modalities
    Beiden, SV
    Wagner, RF
    Doi, K
    Nishikawa, RM
    Freedman, M
    Ben Lo, SC
    Xu, XW
    MEDICAL IMAGING 2002: IMAGE PERCEPTION, OBSERVER PERFORMANCE, AND TECHNOLOGY ASSESSMENT, 2002, 4686 : 198 - 204
  • [43] Accuracy of Diagnostic Imaging Modalities for Classifying Pediatric Eyes as Papilledema Versus Pseudopapilledema
    Chang, Melinda Y.
    Velez, Federico G.
    Demer, Joseph L.
    Bonelli, Laura
    Quiros, Peter A.
    Arnold, Anthony C.
    Sadun, Alfredo A.
    Pineles, Stacy L.
    OPHTHALMOLOGY, 2017, 124 (12) : 1839 - 1848
  • [44] Evaluation of three different laparoscopic modalities: Robotics versus three-dimensional vision laparoscopy versus standard laparoscopy
    Lagrange, Chad A.
    Clark, Curtis J.
    Gerber, Eric W.
    Strup, Stephen E.
    JOURNAL OF ENDOUROLOGY, 2008, 22 (03) : 511 - 516
  • [45] Constant Current versus Constant Voltage: Clinical Evidence Supporting a Fundamental Difference in the Modalities
    Kern, Drew S.
    Fasano, Alfonso
    Thompson, John A.
    Abosch, Aviva
    Ojemann, Steve
    Munhoz, Renato P.
    STEREOTACTIC AND FUNCTIONAL NEUROSURGERY, 2021, 99 (02) : 171 - 175
  • [46] An evaluation of illness, treatment perceptions and depression in hospital versus home based dialysis modalities
    Griva, K.
    Davenport, A.
    Harrison, M.
    Newman, S.
    PSYCHOLOGY & HEALTH, 2009, 24 : 194 - 195
  • [47] Endobronchial Ultrasound-Guided Versus Conventional Transbronchial Needle Aspiration: Comparing Modalities
    Bellinger, C.
    Chatterjee, A.
    Chin, R.
    Conforti, J.
    Haponik, E. F.
    AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, 2011, 183
  • [48] ECAT versus E.CAM, a comparison of two FDG imaging modalities.
    Schoenberger, JA
    Bergner, U
    Eilles, C
    JOURNAL OF NUCLEAR MEDICINE, 1999, 40 (05) : 260P - 260P
  • [49] Brain volumetric correlates of remotely versus in-person administered modalities test in sclerosis
    Buyukturkoglu, Korhan
    Dworkin, Jordan D.
    Leiva, Victor
    Provenzano, Frank A.
    Guevara, Pamela
    De Jager, Philip L.
    Leavitt, Victoria M.
    Riley, Claire S.
    MULTIPLE SCLEROSIS AND RELATED DISORDERS, 2022, 68
  • [50] Post-Endoscopic Retrograde Cholangiopancreatography Pancreatitis Single Versus Dual Prophylactic Modalities
    Abdelfatah, Mohamed M.
    Gochanour, Eric
    Koutlas, Nicholas J.
    Othman, Mohamed O.
    PANCREAS, 2019, 48 (04) : E24 - E24
12345