Concurrent weighted logic

DOI10.1016/J.JLAMP.2015.07.002MaRDI QIDQ890620zbMATH OpenOpenAlexFDO

Authors Kim G. Larsen, Radu Mardare, Bingtian Xue

Publication date 10 November 2015

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.07.002

zbMATH Keywords

concurrencymodel theoryweighted transition systemsRasiowa-Sikorski lemmanon-compact modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A decidable recursive logic for weighted transition systems
• Complete proof systems for weighted modal logic
• Weighted Distributed Systems and Their Logics
• On decidability of recursive weighted logics
• Concurrent dynamic logic

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1794360 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• scientific article; zbMATH DE number 1884420 (Why is no real title available?)
• A calculus of communicating systems
• A complete deductive system for probability logic
• A proof of the completeness theorem of Grödel
• A spatial logic for concurrency. I
• Anytime, anywhere: modal logics for mobile ambients
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• BI as an assertion language for mutable data structures
• Bisimulation relations for weighted automata
• Complete proof systems for weighted modal logic
• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• Continuous Markovian logics -- axiomatization and quantified metatheory
• Deduction systems for coalgebras over measurable spaces
• Handbook of process algebra
• Handbook of weighted automata
• Introduction to Boolean Algebras
• Modular Markovian Logic
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Ready simulation for concurrency: it's logical!
• Stone duality for Markov processes
• Strong completeness for Markovian logics
• Structural Operational Semantics for Weighted Transition Systems
• The countable Henkin principle
• Topological proofs of some Rasiowa-Sikorski lemmas
• Weighted Bisimulation in Linear Algebraic Form
• Weighted automata and weighted logics

Cited in

(5)

• On the construction of multi-valued concurrent dynamic logics
• On decidability of recursive weighted logics
• Weighted Distributed Systems and Their Logics
• scientific article; zbMATH DE number 6987096 (Why is no real title available?)
• A decidable recursive logic for weighted transition systems

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Concurrent weighted logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890620)