Concurrent weighted logic

DOI10.1016/J.JLAMP.2015.07.002zbMATH Open1330.68210OpenAlexW1925886662MaRDI QIDQ890620FDOQ890620

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

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

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)

Cites Work

• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Structural Operational Semantics for Weighted Transition Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• BI as an assertion language for mutable data structures
• Handbook of weighted automata
• Introduction to Boolean Algebras
• A calculus of communicating systems
• Bisimulation relations for weighted automata
• Handbook of process algebra
• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• Deduction systems for coalgebras over measurable spaces
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Continuous Markovian logics -- axiomatization and quantified metatheory
• Stone Duality for Markov Processes
• A proof of the completeness theorem of Grödel
• Title not available (Why is that?)
• Complete proof systems for weighted modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A spatial logic for concurrency. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ready simulation for concurrency: it's logical!
• Weighted Bisimulation in Linear Algebraic Form
• Anytime, anywhere
• A complete deductive system for probability logic
• Topological proofs of some Rasiowa-Sikorski lemmas
• Weighted automata and weighted logics
• Strong Completeness for Markovian Logics
• Modular Markovian Logic
• The Countable Henkin Principle

Cited In (2)

• Weighted Distributed Systems and Their Logics
• Title not available (Why is that?)

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)