A Logic of Probability with Decidable Model Checking

DOI10.1093/logcom/exl004zbMath1109.03017OpenAlexW2020997970MaRDI QIDQ3412000

Danièle Beauquier, Alexander Rabinovich, Anatol Slissenko

Publication date: 4 December 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exl004

zbMATH Keywords

decidabilitymodel checkingfinite Markov chainpredicate logic of probability

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (4)

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains ⋮ Unnamed Item ⋮ Reachability problems for Markov chains ⋮ Probabilistic Logic over Paths

This page was built for publication: A Logic of Probability with Decidable Model Checking