scientific article

DOI10.4230/LIPICS.CSL.2011.144zbMath1247.03030MaRDI QIDQ2915679

Luca Cardelli, Radu Mardare, Kim Guldstrand Larsen

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0be1.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Markov processesmetric semanticsaxiomatizationprobabilistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48)

Related Items (4)

A metrized duality theorem for Markov processes ⋮ Concurrent weighted logic ⋮ Complete proof systems for weighted modal logic ⋮ Unnamed Item

Uses Software

• Ymer

This page was built for publication: