{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:36:41Z","timestamp":1765294601006},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642403125"},{"type":"electronic","value":"9783642403132"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40313-2_58","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T14:36:43Z","timestamp":1376663803000},"page":"655-666","source":"Crossref","is-referenced-by-count":9,"title":["Strong Completeness for Markovian Logics"],"prefix":"10.1007","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[]},{"given":"Radu","family":"Mardare","sequence":"additional","affiliation":[]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"58_CR1","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s001820050111","volume":"28","author":"R. Aumann","year":"1999","unstructured":"Aumann, R.: Interactive epistemology I: knowledge. International Journal of Game Theory\u00a028, 263\u2013300 (1999)","journal-title":"International Journal of Game Theory"},{"key":"58_CR2","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s001820050112","volume":"28","author":"R. Aumann","year":"1999","unstructured":"Aumann, R.: Interactive epistemology II: probability. International Journal of Game Theory\u00a028, 301\u2013314 (1999)","journal-title":"International Journal of Game Theory"},{"key":"58_CR3","unstructured":"Billingsley, P.: Probability and Measure. Wiley-Interscience (1995)"},{"key":"58_CR4","unstructured":"Cardelli, L., Larsen, K.G., Mardare, R.: Continuous markovian logic - from complete axiomatization to the metric space of formulas. In: CSL, pp. 144\u2013158 (2011)"},{"key":"58_CR5","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: A logical characterization of bisimulation for labelled Markov processes. In: Proceedings of the 13th IEEE Symposium On Logic In Computer Science, Indianapolis, pp. 478\u2013489. IEEE Press (June 1998)"},{"issue":"2","key":"58_CR6","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J. Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labeled Markov processes. Information and Computation\u00a0179(2), 163\u2013193 (2002)","journal-title":"Information and Computation"},{"key":"58_CR7","doi-asserted-by":"publisher","DOI":"10.1201\/9781584889427","volume-title":"Stochastic Relations. Foundations for Markov Transition Systems","author":"E.-E. Doberkat","year":"2007","unstructured":"Doberkat, E.-E.: Stochastic Relations. Foundations for Markov Transition Systems. Chapman and Hall, New York (2007)"},{"key":"58_CR8","unstructured":"Dudley, R.M.: Real Analysis and Probability. Wadsworth and Brookes\/Cole (1989)"},{"issue":"2","key":"58_CR9","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. Journal of the ACM\u00a041(2), 340\u2013367 (1994)","journal-title":"Journal of the ACM"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.: On the role of the Baire category theorem in the foundations of logic. Journal of Symbolic Logic, 412\u2013422 (1985)","DOI":"10.2307\/2274230"},{"issue":"5","key":"58_CR11","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1093\/logcom\/exn092","volume":"20","author":"R. Goldblatt","year":"2010","unstructured":"Goldblatt, R.: Deduction systems for coalgebras over measurable spaces. Journal of Logic and Computation\u00a020(5), 1069\u20131100 (2010)","journal-title":"Journal of Logic and Computation"},{"issue":"1-2","key":"58_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A. Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probability logic for type spaces. Games and Economic Behavior\u00a035(1-2), 31\u201353 (2001)","journal-title":"Games and Economic Behavior"},{"key":"58_CR13","doi-asserted-by":"crossref","unstructured":"Kozen, D., Larsen, K.G., Mardare, R., Panangaden, P.: Stone duality for markov processes. In: Proceedings of the 28th Annual IEEE Symposium on Logic in Computer Science: LICS 2013. IEEE Computer Society (2013)","DOI":"10.1109\/LICS.2013.38"},{"key":"58_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probablistic testing. Information and Computation\u00a094, 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"58_CR15","doi-asserted-by":"crossref","unstructured":"Mardare, R., Cardelli, L., Larsen, K.G.: Continuous markovian logics - axiomatization and quantified metatheory. Logical Methods in Computer Science\u00a08(4) (2012)","DOI":"10.2168\/LMCS-8(4:19)2012"},{"key":"58_CR16","doi-asserted-by":"crossref","unstructured":"Panangaden, P.: Labelled Markov Processes. Imperial College Press (2009)","DOI":"10.1142\/9781848162891"},{"key":"58_CR17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H. Rasiowa","year":"1950","unstructured":"Rasiowa, H., Sikorski, R.: A proof of the completeness theorem of g\u00f6del. Fund. Math.\u00a037, 193\u2013200 (1950)","journal-title":"Fund. Math."},{"key":"58_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-540-73420-8_41","volume-title":"Automata, Languages and Programming","author":"L. Schr\u00f6der","year":"2007","unstructured":"Schr\u00f6der, L., Pattinson, D.: Modular algorithms for heterogeneous modal logics. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 459\u2013471. Springer, Heidelberg (2007)"},{"key":"58_CR19","unstructured":"Zhou, C.: A complete deductive system for probability logic with application to Harsanyi type spaces. PhD thesis, Indiana University (2007)"},{"issue":"3","key":"58_CR20","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10849-009-9100-2","volume":"19","author":"C. Zhou","year":"2010","unstructured":"Zhou, C.: Probability logic of finitely additive beliefs. J. Logic, Language and Information\u00a019(3), 247\u2013282 (2010)","journal-title":"J. Logic, Language and Information"},{"key":"58_CR21","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.tcs.2012.03.026","volume":"446","author":"C. Zhou","year":"2012","unstructured":"Zhou, C., Ying, M.: Approximating Markov processes through filtration. Theoretical Computer Science\u00a0446, 75\u201397 (2012)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40313-2_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:09:41Z","timestamp":1558318181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40313-2_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642403125","9783642403132"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40313-2_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}