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 条

[31] EXPLORING MULTIPLE WORLDS IN PARALLEL
SMITH, JM
MAGUIRE, GQ
PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 2: SOFTWARE, 1989, : 239 - 245
[32] Invisible worlds: Exploring the unseen
Weidenfeld
NATURE, 2004, 430 (6999) : 507 - 507
[33] Modal logic with bounded quantification over worlds
Van Eijk, RM
De Boer, FS
Van der Hoek, W
Meyer, JJC
JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (05) : 701 - 715
[34] Modal fictionalism and possible-worlds discourse
Liggins, David
PHILOSOPHICAL STUDIES, 2008, 138 (02) : 151 - 160
[35] A modal fictionalist result (Plurality of worlds hypothesis)
Divers, J
NOUS, 1999, 33 (03): : 317 - 346
[36] GOD AND POSSIBLE WORLDS - THE MODAL PROBLEM OF EVIL
GULESERIAN, T
NOUS, 1983, 17 (02): : 221 - 238
[37] Modal fictionalism and possible-worlds discourse
David Liggins
Philosophical Studies, 2008, 138 : 151 - 160
[38] Modal Worlds: The Role of Regularities in Evolutionary Biology
Hoffman, Donald
PERCEPTION, 2018, 47 (10-11) : 1111 - 1113
[39] MORE MODAL SEMANTICS WITHOUT POSSIBLE WORLDS
Omori, Hitoshi
Skurt, Daniel
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (05): : 815 - 846
[40] Modal Meinongianism and fiction: the best of three worlds
Francesco Berto
Philosophical Studies, 2011, 152 : 313 - 334

← 1 2 3 4 5 →