Concurrent weighted logic
type: Item
instance of: scholarly article
title: Concurrent weighted logic
zbMATH Open document ID: 1330.68210
author: Kim G. Larsen
author: Radu Mardare
author: Bingtian Xue
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2015-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6506931
zbMATH Keywords: non-compact modal logic
zbMATH Keywords: model theory
zbMATH Keywords: Rasiowa-Sikorski lemma
zbMATH Keywords: weighted transition systems
zbMATH Keywords: concurrency
describes a project that uses: SLMC
MaRDI profile type: Publication
full work available at URL: j.jlamp.2015.07.002
OpenAlex ID: W1925886662
cites work: Q4038702
cites work: Weighted automata and weighted logics
cites work: Handbook of weighted automata
cites work: Q4552463
cites work: Q4552456
cites work: Handbook of process algebra
cites work: Ready simulation for concurrency: it's logical!
cites work: Anytime, anywhere
cites work: A spatial logic for concurrency. I
cites work: BI as an assertion language for mutable data structures
cites work: Q4783297
cites work: Modular Markovian Logic
cites work: A calculus of communicating systems
cites work: Q3777424
cites work: Stone Duality for Markov Processes
cites work: Strong Completeness for Markovian Logics
cites work: Deduction Systems for Coalgebras Over Measurable Spaces
cites work: A Complete Deductive System for Probability Logic
cites work: Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
cites work: Continuous Markovian Logics - Axiomatization and Quantified Metatheory
cites work: A proof of the completeness theorem of Grödel
cites work: Topological proofs of some Rasiowa-Sikorski lemmas
cites work: Q4798042
cites work: Bisimulation relations for weighted automata
cites work: Weighted Bisimulation in Linear Algebraic Form
cites work: Structural Operational Semantics for Weighted Transition Systems
cites work: Axiomatizing weighted synchronization trees and weighted bisimilarity
cites work: Q3667958
cites work: Complete proof systems for weighted modal logic
cites work: The Countable Henkin Principle
cites work: On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
cites work: Introduction to Boolean Algebras
DOI: 10.1016/J.JLAMP.2015.07.002
description: scientific article; zbMATH DE number 6506931