Exploring modal worlds

被引：2
|
作者：
Dang, Han-Hing [1 ]
Glueck, Roland [1 ]
Moeller, Bernhard [1 ]
Roocks, Patrick [1 ]
Zelend, Andreas [1 ]
机构：
[1] Univ Augsburg, Inst Informat, D-86135 Augsburg, Germany
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2014年 / 83卷 / 02期
关键词：
Bisimulation; Formal concept analysis; Pareto front; Rectangles; Separation logic; Software product lines;
D O I：
10.1016/j.jlap.2014.02.004
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and unified treatment, while being more general than, e.g., standard relation algebra. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码：135 / 153
页数：19
相关论文
共 50 条
  • [41] POSSIBLE WORLDS AND A THEORY OF MEANING FOR MODAL LANGUAGE
    DAVIDSON, B
    PARGETTER, R
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1980, 58 (04) : 388 - 394
  • [42] Modal Meinongianism and fiction: the best of three worlds
    Berto, Francesco
    PHILOSOPHICAL STUDIES, 2011, 152 (03) : 313 - 334
  • [43] Offshore: exploring the worlds of global outsourcing
    Bryson, John R.
    EURASIAN GEOGRAPHY AND ECONOMICS, 2023, 64 (7-8) : 987 - 989
  • [44] Exploring the origins of carbon in terrestrial worlds
    Bergin, Edwin
    Cleeves, L. Ilsedore
    Crockett, Nathan
    Blake, Geoffrey
    FARADAY DISCUSSIONS, 2014, 168 : 61 - 79
  • [45] Exploring the figured worlds of mindfulness and teaching
    Diamantis, Sophia
    Graue, M. Elizabeth
    Moss, Evan
    Flook, Lisa
    ANTHROPOLOGY & EDUCATION QUARTERLY, 2023,
  • [46] Charles S. Chihara, The Worlds of Possibility, Modal Realism and the Semantics of Modal Logic
    Daniel Nolan
    Studia Logica, 2004, 76 (3) : 443 - 446
  • [47] Offshore: Exploring the Worlds of Global Outsourcing
    Johnston, Ron
    JOURNAL OF SOCIAL POLICY, 2019, 48 (02) : 414 - 415
  • [48] Exploring Extrasolar Worlds Today and Tomorrow
    Tinetti, G.
    Griffith, C. A.
    PATHWAYS TOWARDS HABITABLE PLANETS, 2010, 430 : 115 - +
  • [49] Exploring human factors in virtual worlds
    Padmanabhan, Poornima
    TECHNICAL COMMUNICATION, 2008, 55 (03) : 270 - 276
  • [50] EXPLORING PLANETARY WORLDS - MORRISON,D
    LOVELL, B
    TLS-THE TIMES LITERARY SUPPLEMENT, 1993, (4721): : 3 - 4
12345