Concurrent weighted logic

Bingtian Xue, Kim Guldstrand Larsen, Radu Iulian Mardare

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2 Citationer (Scopus)

Abstract

We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these, CWL contains modal operators indexed with rational numbers to predicate over the numerical labels of LWSs as well as a binary modal operator that encodes properties concerning the (de-) composition of LWSs. We develop a Hilbert-style axiomatic system for CWL and we prove weak- and strong-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory.
OriginalsprogEngelsk
TidsskriftJournal of Logical and Algebraic Methods in Programming
Vol/bind84
Udgave nummer6
Sider (fra-til)884–897
ISSN2352-2208
DOI
StatusUdgivet - 2015

Fingeraftryk

Dyk ned i forskningsemnerne om 'Concurrent weighted logic'. Sammen danner de et unikt fingeraftryk.

Citationsformater