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 条
  • [1] Automata for Coalgebras: An Approach Using Predicate Liftings
    Fontaine, Gaelle
    Leal, Raul
    Venema, Yde
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 381 - 392
  • [2] Inductive and Coinductive Predicate Liftings for Effectful Programs
    Veltri, Niccolo
    Voorneveld, Niels F. W.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (351): : 260 - 277
  • [3] Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
    Dorsch, Ulrich
    Milius, Stefan
    Schroeder, Lutz
    Wissmann, Thorsten
    COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2018), 2018, 11202 : 56 - 77
  • [4] A point-free perspective on lax extensions and predicate liftings
    Goncharov, Sergey
    Hofmann, Dirk
    Nora, Pedro
    Schroder, Lutz
    Wild, Paul
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (02) : 98 - 127
  • [5] Translating graded modalities into predicate logics
    Ohlbach, HJ
    Schmidt, R
    Hustadt, U
    PROOF THEORY OF MODAL LOGIC, 1996, 2 : 253 - 291
  • [6] Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
    Beohar, Harsh
    Koenig, Barbara
    Kuepper, Sebastian
    Mika-Michalski, Christina
    COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022), 2022, 13225 : 1 - 22
  • [7] Necessity predicate versus truth predicate from the perspective of paradox
    Hsiung, Ming
    SYNTHESE, 2023, 202 (01)
  • [8] Necessity predicate versus truth predicate from the perspective of paradox
    Ming Hsiung
    Synthese, 202
  • [9] Global predicate detection under fine-grained modalities
    Chandra, P
    Kshemkalyani, AD
    ADVANCES IN COMPUTING SCIENCE - ASIAN 2003: PROGRAMMING LANGUAGES AND DISTRIBUTED COMPUTATION, 2003, 2896 : 91 - 109
  • [10] The logic of a creative subject: Conservativism versus intuitionistic predicate calculus
    Krivtsov, VN
    RUSSIAN MATHEMATICAL SURVEYS, 1996, 51 (01) : 146 - 147
12345