Towards a structural proof theory of probabilistic -calculi

DOI10.1007/978-3-030-17127-8_24OpenAlexW2926764908MaRDI QIDQ2289094FDOQ2289094

Authors: Christophe Lucas, Matteo Mio 

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_24

Recommendations

• Probabilistic \(\mu\)-calculus: decidability and complete axiomatization
• Probabilistic verification of proofs in calculuses
• On Probabilistic λ-Calculi
• Probabilistic proof systems -- a survey
• Tractable probabilistic \(\mu\)-calculus that expresses probabilistic temporal logics
• A probabilistic semantics for the pure \(\lambda\)-calculus
• Probabilistic Proof Systems: A Primer
• A proof theoretic approach to qualitative probabilistic reasoning
• A Type Theory for Probabilistic $$\lambda $$–calculus
• scientific article; zbMATH DE number 7533341

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus
• Probabilistic Modal μ-Calculus with Independent Product
• Free modal Riesz spaces are Archimedean: a syntactic proof

This page was built for publication: Towards a structural proof theory of probabilistic \(\mu\)-calculi

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