{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:45:12Z","timestamp":1743147912245,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319476766"},{"type":"electronic","value":"9783319476773"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47677-3_14","type":"book-chapter","created":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T06:17:10Z","timestamp":1475648230000},"page":"213-228","source":"Crossref","is-referenced-by-count":1,"title":["A Complete Approximation Theory for Weighted Transition Systems"],"prefix":"10.1007","author":[{"given":"Mikkel","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mardare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias Ruggaard","family":"Pedersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bingtian","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,6]]},"reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"key":"14_CR2","series-title":"Studies in Logic and Practical Reasoning","volume-title":"Handbook of Modal Logic","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., van Benthem, J.F.A.K., Wolter, F.: Handbook of Modal Logic. Studies in Logic and Practical Reasoning. Elsevier Science, Amsterdam (2006)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-58201-0_83","volume-title":"Automata, Languages and Programming","author":"F Breugel","year":"1994","unstructured":"Breugel, F.: Generalizing finiteness conditions of labelled transition systems. In: Abiteboul, S., Shamir, E. (eds.) ICALP 1994. LNCS, vol. 820, pp. 376\u2013387. Springer, Heidelberg (1994). doi: 10.1007\/3-540-58201-0_83"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Katoen, J.P.: On the satisfiability of some simple probabilistic logics. In: LICS (2016 to appear)","DOI":"10.1145\/2933575.2934526"},{"key":"14_CR5","doi-asserted-by":"crossref","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. J. ACM 41, 340 (1994)","journal-title":"J. ACM"},{"key":"14_CR6","doi-asserted-by":"crossref","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 Econ. Behav. 35, 31 (2001)","journal-title":"Games Econ. Behav."},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM 32, 137 (1985)","journal-title":"J. ACM"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.entcs.2014.10.011","volume":"308","author":"S Jaziri","year":"2014","unstructured":"Jaziri, S., Larsen, K.G., Mardare, R., Xue, B.: Adequacy and complete axiomatization for timed modal logic. Electr. Notes Theor. Comput. Sci. 308, 183\u2013210 (2014)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS 1991) (1991)","DOI":"10.1109\/LICS.1991.151651"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1016\/j.jlap.2012.03.008","volume":"81","author":"L Juhl","year":"2012","unstructured":"Juhl, L., Larsen, K.G., Srba, J.: Modal transition systems with weight intervals. J. Log. Algebr. Program. 81, 408 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kozen, D., Larsen, K.G., Mardare, R., Panangaden, P.: Stone duality for Markov processes. In: 2013 28th Annual IEEE\/ACM Symposium on Logic in Computer Science (LICS), pp. 321\u2013330, June 2013","DOI":"10.1109\/LICS.2013.38"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/978-3-642-40313-2_58","volume-title":"Mathematical Foundations of Computer Science 2013","author":"D Kozen","year":"2013","unstructured":"Kozen, D., Mardare, R., Panangaden, P.: Strong completeness for Markovian logics. In: Chatterjee, K., Sgall, J. (eds.) MFCS 2013. LNCS, vol. 8087, pp. 655\u2013666. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40313-2_58"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.tcs.2014.03.007","volume":"546","author":"KG Larsen","year":"2014","unstructured":"Larsen, K.G., Mardare, R.: Complete proof systems for weighted modal logic. Theor. Comput. Sci. 546, 164 (2014)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00500-015-1933-9","volume":"20","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Mardare, R., Xue, B.: On decidability of recursive weighted logics. Soft Comput. 20, 1\u201318 (2016)","journal-title":"Soft Comput."},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-642-32589-2_59","volume-title":"Mathematical Foundations of Computer Science 2012","author":"KG Larsen","year":"2012","unstructured":"Larsen, K.G., Mardare, R., Panangaden, P.: Taking it to the limit: approximate reasoning for Markov processes. In: Rovan, B., Sassone, V., Widmayer, P. (eds.) MFCS 2012. LNCS, vol. 7464, pp. 681\u2013692. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32589-2_59"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Mardare, R., Cardelli, L., Larsen, K.G.: Continuous Markovian logics-axiomatization and quantified metatheory. Log. Meth. Comput. Sci. 8(4) (2012)","DOI":"10.2168\/LMCS-8(4:19)2012"},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1093\/logcom\/exp031","volume":"19","author":"C Zhou","year":"2009","unstructured":"Zhou, C.: A complete deductive system for probability logic. J. Log. Comput. 19, 1427 (2009)","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering: Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47677-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:24:24Z","timestamp":1498335864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47677-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319476766","9783319476773"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47677-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}