{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:28:40Z","timestamp":1760171320473},"reference-count":48,"publisher":"Springer Science and Business Media LLC","license":[{"start":{"date-parts":[[2012,8,24]],"date-time":"2012-08-24T00:00:00Z","timestamp":1345766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"DOI":"10.1007\/s10472-012-9307-9","type":"journal-article","created":{"date-parts":[[2012,8,23]],"date-time":"2012-08-23T05:57:21Z","timestamp":1345701441000},"source":"Crossref","is-referenced-by-count":0,"title":["A propositional probabilistic logic with discrete linear time for reasoning about evidence"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Markovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Ra\u0161kovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragan","family":"Doder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandar","family":"Perovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,24]]},"reference":[{"key":"9307_CR1","doi-asserted-by":"crossref","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. Theor. Comp. Sci. 65, 35\u201383 (1989)","journal-title":"Theor. Comp. Sci."},{"key":"9307_CR2","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0304-3975(90)90128-5","volume":"70","author":"M Abadi","year":"1990","unstructured":"Abadi, M.: Errata for \u201cThe power of temporal proofs\u201d. Theor. Comp. Sci. 70, 275 (1990)","journal-title":"Theor. Comp. Sci."},{"key":"9307_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(91)90386-G","volume":"80","author":"H Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., Sain, I.: On the strength of temporal proofs. Theor. Comp. Sci. 80, 125\u2013151 (1991)","journal-title":"Theor. Comp. Sci."},{"issue":"2","key":"9307_CR4","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"J Burgess","year":"1982","unstructured":"Burgess, J.: Axioms for tense logic I: since and until. Notre Dame J. Form. Log. 23(2), 367\u2013374 (1982)","journal-title":"Notre Dame J. Form. Log."},{"key":"9307_CR5","volume-title":"Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic","author":"J Burges","year":"1984","unstructured":"Burges, J.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. Reidel Publishing Company, Dordrecht (1984)"},{"key":"9307_CR6","doi-asserted-by":"crossref","unstructured":"Doder, D., Ognjanovi\u0107, Z., Markovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M: A probabilistic temporal logic that can model reasoning about evidence. In: FoIKS 2010, LNCS, vol. 5956, pp. 9\u201324 (2010)","DOI":"10.1007\/978-3-642-11829-6_4"},{"issue":"11","key":"9307_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. J. Univers. Comput. Sci. 16(11), 1439\u20131451 (2010)","journal-title":"J. Univers. Comput. Sci."},{"key":"9307_CR8","first-page":"997","volume-title":"Handbook of Theoretical Computer Science","author":"E Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 997\u20131072. Elsevier, Amsterdam (1990)"},{"key":"9307_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Automated temporal reasoning for reactive systems. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency, pp. 41\u2013101. Springer (1996)","DOI":"10.1007\/3-540-60915-6_3"},{"key":"9307_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E Emerson","year":"1986","unstructured":"Emerson, E., Halpern, J.: \u2019Sometimes\u2019 and \u2019not never\u2019 revisited: on branching versus linear time. J. ACM 33, 151\u2013178 (1986)","journal-title":"J. ACM"},{"key":"9307_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0019-9958(84)80047-9","volume":"61","author":"E Emerson","year":"1984","unstructured":"Emerson, E., Sistla, A.: Deciding full branching time logic. Inf. Control 61, 175\u2013201 (1984)","journal-title":"Inf. Control"},{"key":"9307_CR12","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proc. 7th ACM symp. Princ. of Prog. Lang., pp. 163\u2013173 (1980)","DOI":"10.1145\/567446.567462"},{"key":"9307_CR13","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal logic. Mathematical Foundations and Computational Aspects, vol. 1. Clarendon Press (1994)","DOI":"10.1093\/oso\/9780198537694.003.0001"},{"issue":"1\u20132","key":"9307_CR14","doi-asserted-by":"crossref","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. Inf. Comput. 87(1\u20132), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"key":"9307_CR15","volume-title":"Reasoning about Uncertainty","author":"J Halpern","year":"2003","unstructured":"Halpern, J.: Reasoning about Uncertainty. The MIT Press (2003)"},{"key":"9307_CR16","unstructured":"Leibnitz, G.W.: De conditionibus (1665)"},{"key":"9307_CR17","unstructured":"Leibnitz, G.W.: Specimen juris (1669)"},{"key":"9307_CR18","unstructured":"Leibnitz, G.W.: De Nouveaux essais (1765)"},{"issue":"3","key":"9307_CR19","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1093\/jigpal\/jzl019","volume":"14","author":"L Godo","year":"2006","unstructured":"Godo, L., Marchioni, E.: Coherent conditional probability in a fuzzy logic setting. Log. J. IGPL 14(3), 457\u2013481 (2006)","journal-title":"Log. J. IGPL"},{"key":"9307_CR20","unstructured":"Hailperin, T.: Sentential Probability Logic, Origins, Development, Current Status, and Technical Applications. Lehigh University Press (1996)"},{"key":"9307_CR21","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0004-3702(92)90048-3","volume":"54","author":"J Halpern","year":"1992","unstructured":"Halpern, J., Fagin, R.: Two views of belief: belief as generalized probability and belief as evidence. Artif. Intell. 54, 275\u2013317 (1992)","journal-title":"Artif. Intell."},{"key":"9307_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10462-007-9045-2","volume":"26","author":"J Halpern","year":"2006","unstructured":"Halpern, J., Pucella, R.: A logic for reasoning about evidence. J. Artif. Intell. Res. 26, 1\u201334 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"9307_CR23","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0003-4843(78)90022-0","volume":"14","author":"DN Hoover","year":"1978","unstructured":"Hoover, D.N.: Probability logic. Ann. Math. Logic 14, 287\u2013313 (1978)","journal-title":"Ann. Math. Logic"},{"key":"9307_CR24","doi-asserted-by":"crossref","unstructured":"Kaivola, R.: Axiomatising extended computation tree logic. In: Proceedings of 21st International Colloquium on Trees in Algebra and Programming, pp. 87\u2013101 (1996)","DOI":"10.1007\/3-540-61064-2_31"},{"key":"9307_CR25","unstructured":"Kamp, J.: Tense logic and the theory of linear order. Doctoral dissertation. University of California, Los Angeles (1968)"},{"key":"9307_CR26","doi-asserted-by":"crossref","unstructured":"Keisler, H.J.: Hyperfinite model theory. In: Gandy, R.O., Hyland, J.M.E. (eds.) Logic Colloquim 76, pp. 5\u2013110. North-Holland (1977)","DOI":"10.1016\/S0049-237X(09)70421-5"},{"key":"9307_CR27","first-page":"509","volume-title":"Model Theoretic Logics","author":"HJ Keisler","year":"1985","unstructured":"Keisler, H.J.: Probability quantifiers. In: Barwise, J., Feferman, S. (eds.) Model Theoretic Logics, pp. 509\u2013556. Springer, Berlin (1985)"},{"issue":"1","key":"9307_CR28","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","author":"O Lichtenstein","year":"2000","unstructured":"Lichtenstein, O., Pnueli, A.: Propositional temporal logics: decidability and completeness. Log. J. IGPL 8(1), 55\u201385 (2000)","journal-title":"Log. J. IGPL"},{"key":"9307_CR29","first-page":"215","volume-title":"The correctness problem in computer science","author":"Z Manna","year":"1981","unstructured":"Manna, Z., Pnueli, A.: Verification of concurrent programs: the temporal framework. In: Boyer, R.S., Moor, J.S. (eds.) The correctness problem in computer science, pp. 215\u2013273. Academic, London (1981)"},{"issue":"87","key":"9307_CR30","doi-asserted-by":"crossref","first-page":"31","DOI":"10.2298\/PIM0373031M","volume":"73","author":"Z Markovi\u0107","year":"2003","unstructured":"Markovi\u0107, Z., Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: An intuitionistic logic with probabilistic operators. Publ. Inst. Math., Nouv. S\u2019 er. 73(87), 31\u201338 (2003)","journal-title":"Publ. Inst. Math., Nouv. S\u2019 er."},{"key":"9307_CR31","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artif. Intell. 28, 71\u201387 (1986)","journal-title":"Artif. Intell."},{"key":"9307_CR32","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(93)90167-A","volume":"59","author":"N Nilsson","year":"1993","unstructured":"Nilsson, N.: Probabilistic logic revisited. Artif. Intell. 59, 39\u201342 (1993)","journal-title":"Artif. Intell."},{"issue":"74","key":"9307_CR33","first-page":"1","volume":"60","author":"Z Ognjanovi\u0107","year":"1996","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: A logic with higher order probabilities. Publ. Inst. Math., Nouv. S\u2019 er. 60(74), 1\u20134 (1996)","journal-title":"Publ. Inst. Math., Nouv. S\u2019 er."},{"issue":"83","key":"9307_CR34","first-page":"1","volume":"69","author":"Z Ognjanovi\u0107","year":"2001","unstructured":"Ognjanovi\u0107, Z.: Completeness theorem for a first order linear-time logic. Publ. Inst. Math., Nouv. S\u2019 er. 69(83), 1\u20137 (2001)","journal-title":"Publ. Inst. Math., Nouv. S\u2019 er."},{"issue":"92","key":"9307_CR35","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2298\/PIM0578035O","volume":"78","author":"Z Ognjanovi\u0107","year":"2005","unstructured":"Ognjanovi\u0107, Z., Markovi\u0107, Z., Ra\u0161kovi\u0107, M.: Completeness theorem for a Logic with imprecise and conditional probabilities. Publ. Inst. Math., Nouv. S\u2019 er. 78(92), 35\u201349 (2005)","journal-title":"Publ. Inst. Math., Nouv. S\u2019 er."},{"issue":"2","key":"9307_CR36","doi-asserted-by":"crossref","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. J. Log. Comput. 16(2), 257\u2013285 (2006)","journal-title":"J. Log. Comput."},{"key":"9307_CR37","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: Probability Logics. Ognjanovi\u0107, Z. (ed.) Logic in Computer Science. Mathematical Institute of Serbian Academy of Sciences and Arts, pp. 35\u2013111, ISBN 978-86-80593-40-1 (2009)"},{"key":"9307_CR38","doi-asserted-by":"crossref","unstructured":"Ognjanovi\u0107, Z., Doder, D., Markovi\u0107, Z.: A branching time logic with two types of probability operators. In: SUM 2011, LNCS 6929, pp. 219\u2013232 (2011)","DOI":"10.1007\/978-3-642-23963-2_18"},{"key":"9307_CR39","doi-asserted-by":"crossref","unstructured":"Perovi\u0107, A., Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: A probabilistic logic with polynomial weight formulas. In: FoIKS 2008, pp. 239\u2013252 (2008)","DOI":"10.1007\/978-3-540-77684-0_17"},{"key":"9307_CR40","volume-title":"Time and Modality","author":"A Prior","year":"1957","unstructured":"Prior, A.: Time and Modality. Clarendon, Oxford (1957)"},{"issue":"67","key":"9307_CR41","first-page":"1","volume":"53","author":"M Ra\u0161kovi\u0107","year":"1993","unstructured":"Ra\u0161kovi\u0107, M.: Classical logic with some probability operators. Publ. Inst. Math., Nouv. S\u2019 er. 53(67), 1\u20133 (1993)","journal-title":"Publ. Inst. Math., Nouv. S\u2019 er."},{"issue":"79","key":"9307_CR42","first-page":"1","volume":"65","author":"M Ra\u0161kovi\u0107","year":"1999","unstructured":"Ra\u0161kovi\u0107, M., Ognjanovi\u0107, Z.: A first order probability logic, LP Q . Publ. Inst. Math., Nouv. S\u2019 er. 65(79), 1\u20137 (1999)","journal-title":"Publ. Inst. Math., Nouv. S\u2019 er."},{"issue":"1","key":"9307_CR43","doi-asserted-by":"crossref","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. Int. J. Approx. Reason. 49(1), 52\u201366 (2008)","journal-title":"Int. J. Approx. Reason."},{"issue":"3","key":"9307_CR44","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M Reynolds","year":"2001","unstructured":"Reynolds, M.: An axiomatization of full computation tree logic. J. Symb. Log. 66(3), 1011\u20131057 (2001)","journal-title":"J. Symb. Log."},{"key":"9307_CR45","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton, NJ (1976)"},{"key":"9307_CR46","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1111\/j.2517-6161.1982.tb01211.x","volume":"44","author":"G Shafer","year":"1982","unstructured":"Shafer, G.: Belief functions and parametric models (with commentary). J. R. Stat. Soc., Ser. B. 44, 322\u2013352 (1982)","journal-title":"J. R. Stat. Soc., Ser. B."},{"key":"9307_CR47","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and temporal logic. In: Handbook of Logic in Computer Science, vol.\u00a02, pp.\u00a0477\u2013563 (1992)","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"9307_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7947-6","volume-title":"The Logic of Time","author":"J Benthem van","year":"1991","unstructured":"van Benthem, J.: The Logic of Time. Springer, Berlin Heidelberg New York (1991)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9307-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-012-9307-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9307-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T16:42:20Z","timestamp":1714322540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-012-9307-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,24]]},"references-count":48,"alternative-id":["9307"],"URL":"https:\/\/doi.org\/10.1007\/s10472-012-9307-9","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,24]]}}}