{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:29:20Z","timestamp":1725618560793},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642239625"},{"type":"electronic","value":"9783642239632"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23963-2_18","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T01:29:02Z","timestamp":1317864542000},"page":"219-232","source":"Crossref","is-referenced-by-count":10,"title":["A Branching Time Logic with Two Types of Probability Operators"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"first","affiliation":[]},{"given":"Dragan","family":"Doder","sequence":"additional","affiliation":[]},{"given":"Zoran","family":"Markovi\u0107","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"65","author":"M. Abadi","year":"1989","unstructured":"Abadi, M.: The power of temporal proofs. Theoretical Computer Science\u00a065, 35\u201383 (1989)","journal-title":"Theoretical Computer Science"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1995","unstructured":"Aziz, A., Singhal, V., Balarin, F., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, Springer, Heidelberg (1995)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A. Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol.\u00a01026, pp. 499\u2013512. Springer, Heidelberg (1995)"},{"issue":"4","key":"18_CR4","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"J. Burgess","year":"1982","unstructured":"Burgess, J.: Axioms for tense logic. I. \u201cSince\u201d and \u201cuntil\u201d. Notre Dame Journal of Formal Logic\u00a023(4), 367\u2013374 (1982)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"18_CR5","doi-asserted-by":"publisher","first-page":"566","DOI":"10.2307\/2273296","volume":"44","author":"J. Burgess","year":"1979","unstructured":"Burgess, J.: Logic and time. The Journal of Symbolic Logic\u00a044(4), 566\u2013582 (1979)","journal-title":"The Journal of Symbolic Logic"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of philosophical logic","author":"J. Burgess","year":"1984","unstructured":"Burgess, J.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 89\u2013133. D. Reidel Publishing Compaany, Dordrecht (1984); Kopetz, H., Kakuda, Y. (eds.) Dependable Computing and Fault-Tolerant Systems. Responsive Computer Systems, Vol.\u00a07 pp. 30\u201352. Springer, Heidelberg (1993)"},{"issue":"11","key":"18_CR7","first-page":"1439","volume":"16","author":"D. Doder","year":"2010","unstructured":"Doder, D., Ognjanovi\u0107, Z., Markovi\u0107, Z.: An Axiomatization of a First-order Branching Time Temporal Logic. Journal of Universal Computer Science\u00a016(11), 1439\u20131451 (2010)","journal-title":"Journal of Universal Computer Science"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-11829-6_4","volume-title":"Foundations of Information and Knowledge Systems","author":"D. Doder","year":"2010","unstructured":"Doder, D., Markovi\u0107, Z., Ognjanovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M.: A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol.\u00a05956, pp. 9\u201324. Springer, Heidelberg (2010)"},{"issue":"101","key":"18_CR9","first-page":"85","volume":"87","author":"D. Doder","year":"2010","unstructured":"Doder, D., Marinkovi\u0107, B., Maksimovi\u0107, P., Perovi\u0107, A.: A Logic with Conditional Probability Operators. Publications de l\u2019Institut Math\u00e9matique, Nouvelle S\u00e9rie, Beograd\u00a087(101), 85\u201396 (2010)","journal-title":"Publications de l\u2019Institut Math\u00e9matique, Nouvelle S\u00e9rie, Beograd"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. Emerson","year":"1982","unstructured":"Emerson, E., Clarke, E.: Using branching time logic to synthesize synchronization skeletons. Sci. Comput. Program.\u00a02, 241\u2013266 (1982)","journal-title":"Sci. Comput. Program."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pp. 995\u20131072. North-Holland Pub. Co.\/MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"1\u20132","key":"18_CR12","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation\u00a087(1\u20132), 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0019-9958(84)80039-X","volume":"63","author":"Y. Feldman","year":"1984","unstructured":"Feldman, Y.: A decidable propositional dynamic logic with explicit probabilities. Information and Control\u00a063, 11\u201338 (1984)","journal-title":"Information and Control"},{"issue":"6","key":"18_CR14","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1023\/A:1004602621885","volume":"28","author":"D.P. Guelev","year":"1999","unstructured":"Guelev, D.P.: A propositional dynamic logic with qualitative probabilities. Journal of Philosophical Logic\u00a028(6), 575\u2013605 (1999)","journal-title":"Journal of Philosophical Logic"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/3-540-45352-0_22","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D.P. Guelev","year":"2000","unstructured":"Guelev, D.P.: Probabilistic neighbourhood logic. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 264\u2013275. Springer, Heidelberg (2000)"},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-3(3:3)2007","volume":"3","author":"D.P. Guelev","year":"2007","unstructured":"Guelev, D.P.: Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems. Logical Methods in Computer Science\u00a03(3), 1\u201343 (2007)","journal-title":"Logical Methods in Computer Science"},{"issue":"5","key":"18_CR17","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspect of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspect of Computing"},{"key":"18_CR18","first-page":"1","volume-title":"16th ACM Symposium on Theory of Computing","author":"S. Hart","year":"1984","unstructured":"Hart, S., Sharir, M.: Probabilistic temporal logics for finite and bounded models. In: 16th ACM Symposium on Theory of Computing, pp. 1\u201313. ACM, New York (1984): Extended version In: Information and Control 70 (2\/3), 97-155 (1986)"},{"issue":"1","key":"18_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s001650050034","volume":"11","author":"D.V. Hung","year":"1999","unstructured":"Hung, D.V., Chaochen, Z.: Probabilistic Duration Calculus for Continuous Time. Formal Aspects of Computing\u00a011(1), 21\u201344 (1999)","journal-title":"Formal Aspects of Computing"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D. Kozen","year":"1985","unstructured":"Kozen, D.: A probabilistic PDL. Journal of Computer and System Sciences\u00a030, 162\u2013178 (1985)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0019-9958(82)91022-1","volume":"53","author":"D. Lehmann","year":"1982","unstructured":"Lehmann, D., Shelah, S.: Reasoning with time and chance. Information and Control\u00a053, 165\u2013198 (1982)","journal-title":"Information and Control"},{"key":"18_CR22","series-title":"Responsive Computer Systems","first-page":"30","volume-title":"Dependable Computing and Fault-Tolerant Systems","author":"Z. Liu","year":"1993","unstructured":"Liu, Z., Ravn, A.P., Sorensen, E.V., Chaochen, Z.: A Probabilistic Duration Calculus. In: Kopetz, H., Kakuda, Y. (eds.) Dependable Computing and Fault-Tolerant Systems. Responsive Computer Systems, vol.\u00a07, pp. 30\u201352. Springer, Heidelberg (1993)"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1002\/malq.200310044","volume":"49","author":"Z. Markovi\u0107","year":"2003","unstructured":"Markovi\u0107, Z., Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: A Probabilistic Extension of Intuitionistic Logic. Mathematical Logic Quarterly\u00a049, 415\u2013424 (2003)","journal-title":"Mathematical Logic Quarterly"},{"issue":"2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/logcom\/9.2.181","volume":"9","author":"Z. Ognjanovi\u0107","year":"1999","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some probability logics with new types of probability operators. Journal of Logic and Computation\u00a09(2), 181\u2013195 (1999)","journal-title":"Journal of Logic and Computation"},{"issue":"1-2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","volume":"247","author":"Z. Ognjanovi\u0107","year":"2000","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some first-order probability logics. Theoretical Computer Science\u00a0247(1-2), 191\u2013212 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"18_CR26","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exi077","volume":"16","author":"Z. Ognjanovi\u0107","year":"2006","unstructured":"Ognjanovi\u0107, Z.: Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. Journal of Logic Computation\u00a016(2), 257\u2013285 (2006)","journal-title":"Journal of Logic Computation"},{"issue":"2","key":"18_CR27","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1093\/jigpal\/jzm031","volume":"16","author":"Z. Ognjanovi\u0107","year":"2008","unstructured":"Ognjanovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M.: Logics with the Qualitative Probability Operator. Logic Journal of IGPL\u00a016(2), 105\u2013120 (2008)","journal-title":"Logic Journal of IGPL"},{"key":"18_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-77684-0_17","volume-title":"Foundations of Information and Knowledge Systems","author":"A. Perovi\u0107","year":"2008","unstructured":"Perovi\u0107, A., Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: A Probabilistic Logic with Polynomial Weight Formulas. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 239\u2013252. Springer, Heidelberg (2008)"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Symposium Foundations of Computer Science (FOCS 1977), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"volume-title":"Time and Modality","year":"1957","author":"A. Prior","key":"18_CR30","unstructured":"Prior, A.: Time and Modality. Oxford University Press, Oxford (1957)"},{"issue":"1","key":"18_CR31","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ijar.2007.08.006","volume":"49","author":"M. Ra\u0161kovi\u0107","year":"2008","unstructured":"Ra\u0161kovi\u0107, M., Markovi\u0107, Z., Ognjanovi\u0107, Z.: A Logic with Approximate Conditional Probabilities that can Model Default Reasoning. International Journal of Approximate Reasoning\u00a049(1), 52\u201366 (2008)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"3","key":"18_CR32","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M.: An axiomatization of full computation tree logic. The Journal of Symbolic Logic\u00a066(3), 1011\u20131057 (2001)","journal-title":"The Journal of Symbolic Logic"},{"volume-title":"Proceedings of the Second Scandinavian Logic Symposium","year":"1971","author":"K. Segerberg","key":"18_CR33","unstructured":"Segerberg, K.: Qualitative probability in a modal setting. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium. North-Holland, Amsterdam (1971)"},{"key":"18_CR34","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/oso\/9780198537618.003.0005","volume":"2","author":"C. Stirling","year":"1992","unstructured":"Stirling, C.: Modal and temporal logic. Handbook of Logic in Computer Science\u00a02, 477\u2013563 (1992)","journal-title":"Handbook of Logic in Computer Science"},{"issue":"3","key":"18_CR35","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2008.11.020","volume":"220","author":"E. Tzanis","year":"2008","unstructured":"Tzanis, E., Hirsch, R.: Probabilistic Logic over Paths. Electronic Notes in Theoretical Computer Science\u00a0220(3), 79\u201396 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23963-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T09:33:25Z","timestamp":1713000805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23963-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239625","9783642239632"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23963-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}