scientific article; zbMATH DE number 6862053
From MaRDI portal
Publication:4636572
DOI10.4230/LIPIcs.FSTTCS.2016.25zbMath1434.03072MaRDI QIDQ4636572
Bingtian Xue, Radu Mardare, Kim Guldstrand Larsen
Publication date: 19 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Markov processsatisfiabilityaxiomatization\(n\)-ary (in-)equational modalitiesprobabilistic modal \(\mu\)-calculus
Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items