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

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Han-Hing Dang, Roland Glück, Bernhard MöllerGND, Patrick Roocks, Andreas Zelend
URN:urn:nbn:de:bvb:384-opus4-587505
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58750
ISSN:2352-2208OPAC
Parent Title (English):Journal of Logical and Algebraic Methods in Programming
Publisher:Elsevier BV
Type:Article
Language:English
Year of first Publication:2014
Publishing Institution:Universität Augsburg
Release Date:2019/07/23
Volume:83
Issue:2
First Page:135
Last Page:153
DOI:https://doi.org/10.1016/j.jlap.2014.02.004
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)

OPUS4 Logo