Exploring modal worlds

  • 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.

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Han-Hing Dang, Roland Glück, Bernhard MöllerGND, Patrick Roocks, Andreas Zelend
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58750
Parent Title (English):Journal of Logical and Algebraic Methods in Programming
Publisher:Elsevier BV
Year of first Publication:2014
Publishing Institution:Universität Augsburg
Release Date:2019/07/23
First Page:135
Last Page:153
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):CC-BY-NC-ND 4.0: Creative Commons: Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand)