{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:52Z","timestamp":1761611332264},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,9,26]],"date-time":"2013-09-26T00:00:00Z","timestamp":1380153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11787-013-0087-8","type":"journal-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T11:09:45Z","timestamp":1380107385000},"page":"403-440","source":"Crossref","is-referenced-by-count":4,"title":["Probabilization of Logics: Completeness and Decidability"],"prefix":"10.1007","volume":"7","author":[{"given":"Pedro","family":"Baltazar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,26]]},"reference":[{"key":"87_CR1","doi-asserted-by":"crossref","unstructured":"Aziz, A., Singhal, V., Balarin, F.: It usually works: the temporal logic of stochastic systems. In: Proceedings of the 7th International Conference on Computer Aided Verification, pp. 155\u2013165. Springer, London (1995)","DOI":"10.1007\/3-540-60045-0_48"},{"issue":"3","key":"87_CR2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s004460050046","volume":"11","author":"C. Baier","year":"1998","unstructured":"Baier C., Kwiatkowska M.Z.: Model checking for a probabilistic branching time logic with fairness. Distrib. Comput. 11(3), 125\u2013155 (1998)","journal-title":"Distrib. Comput."},{"issue":"2","key":"87_CR3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1142\/S0219749908003530","volume":"6","author":"P. Baltazar","year":"2008","unstructured":"Baltazar P., Chadha R., Mateus P.: Quantum computation tree logic\u2014model checking and complete calculus. Int. J. Quantum Inf. 6(2), 281\u2013302 (2008)","journal-title":"Int. J. Quantum Inf."},{"key":"87_CR4","doi-asserted-by":"crossref","unstructured":"Baltazar, P., Mateus, P.: Temporalization of probabilistic propositional logic. In: Artemov, S., Nerode, A. (eds.) LFCS\u201909: Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science. Lecture Notes in Computer Science, vol. 5407, pp. 46\u201360. Springer, Berlin (2009)","DOI":"10.1007\/978-3-540-92687-0_4"},{"issue":"2\u20133","key":"87_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"K.J. Barwise","year":"1974","unstructured":"Barwise K.J.: Axioms for abstract model theory. Ann. Math. Logic. 7(2\u20133), 221\u2013265 (1974)","journal-title":"Ann. Math. Logic."},{"key":"87_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, London (2001)"},{"key":"87_CR7","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities","author":"G. Boole","year":"1854","unstructured":"Boole G.: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. Walton, London (1854)"},{"key":"87_CR8","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Mateus, P., Sernadas, A., Sernadas, C.: Quantum institutions. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation\u2014Essays Dedicated to Joseph Goguen. LNCS, vol. 4060, pp. 50\u201364. Springer, Berlin (2006)","DOI":"10.1007\/11780274_4"},{"key":"87_CR9","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Sernadas, C., Sernadas, A.: Parameterisation of logics. In: Fiadeiro, J. (ed.) Recent Trends in Algebraic Development Techniques\u2014Selected Papers. Lecture Notes in Computer Science, vol. 1589, pp. 48\u201362. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48483-3_4"},{"key":"87_CR10","unstructured":"Canny, J.: Some algebraic and geometric computations in pspace. In: Stoc \u201988: Proceedings of the Twentieth Annual ACM Symposium on Theory Of Computing, pp. 460\u2013469. ACM, New York (1988)."},{"key":"87_CR11","volume-title":"Logical Foundations of Probability","author":"R. Carnap","year":"1951","unstructured":"Carnap R.: Logical Foundations of Probability. Routledge and Kegan Paul, London (1951)"},{"key":"87_CR12","unstructured":"Carnielli, W.A., Coniglio, M.E., Gabbay, D., Gouveia, P., Sernadas, C.: Analysis and Synthesis of Logics\u2014How To Cut And Paste Reasoning Systems. Applied Logic, vol. 35. Springer, Berlin (2008)"},{"key":"87_CR13","volume-title":"Linear Programming","author":"V. Chv\u00e1tal","year":"1983","unstructured":"Chv\u00e1tal V.: Linear Programming. Freeman, San Francisco (1983)"},{"issue":"2\u20133","key":"87_CR14","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.tcs.2005.03.048","volume":"342","author":"R. Cleaveland","year":"2005","unstructured":"Cleaveland R., Iyer S.P., Narasimha M.: Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342(2\u20133), 316\u2013350 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"87_CR15","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1093\/logcom\/exn014","volume":"18","author":"L. Cruz-Filipe","year":"2008","unstructured":"Cruz-Filipe L., Rasga J., Sernadas A., Sernadas C.: A complete axiomatization of discrete-measure almost-everywhere quantification. J. Log. Comput. 18(6), 885\u2013911 (2008)","journal-title":"J. Log. Comput."},{"issue":"1","key":"87_CR16","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"Ehrich H.-D.: On the theory of specification, implementation, and parametrization of abstract data types. J. ACM. 29(1), 206\u2013227 (1982)","journal-title":"J. ACM."},{"issue":"1\/2","key":"87_CR17","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\/2), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"key":"87_CR18","doi-asserted-by":"crossref","unstructured":"Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. J. Log. Lang. Inf. 1(3): 203\u2013233, 09 (1992)","DOI":"10.1007\/BF00156915"},{"key":"87_CR19","doi-asserted-by":"crossref","unstructured":"Goguen, J., Rosu, G.: Institution morphisms. Form. Asp. Comput. 13(3\u20135), 274\u2013307 (2002) (special issue in honor of the retirement of Rod Burstall)","DOI":"10.1007\/s001650200013"},{"key":"87_CR20","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. In:Proceedings of the Carnegie Mellon Workshop on Logic of Programs. pp. 221\u2013256. Springer, London (1984)","DOI":"10.1007\/3-540-12896-4_366"},{"key":"87_CR21","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. In: IJCAI\u201989: Proceedings of the 11th International Joint Conference on Artificial intelligence, pp. 1375\u20131381. Morgan Kaufmann Publishers Inc., San Francisco (1989)"},{"key":"87_CR22","volume-title":"Reasoning About Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)"},{"key":"87_CR23","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hasson","year":"1994","unstructured":"Hasson H., Jonsson B.: A logic for reasoning about time and probability. Form. Asp. Comput. 6, 512\u2013535 (1994)","journal-title":"Form. Asp. Comput."},{"issue":"6","key":"87_CR24","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1093\/jigpal\/jzr054","volume":"20","author":"D. Henriques","year":"2012","unstructured":"Henriques D., Biscaia M., Baltazar P., Mateus P.: Decidability and complexity for omega-regular properties of stochastic systems. Log. J. IGPL. 20(6), 1175\u20131201 (2012)","journal-title":"Log. J. IGPL."},{"key":"87_CR25","doi-asserted-by":"crossref","unstructured":"Kolmogorov, A.N.: Grundbegriffe der Wahrscheinlichkeitsrechnung. Berlin (1933) (Second English Edition, Foundations of Probability 1950, published by Chelsea, New York)","DOI":"10.1007\/978-3-642-49888-6_1"},{"key":"87_CR26","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D. Kozen","year":"1985","unstructured":"Kozen D.: A probabilistic PDL. J. Comput. Syst. Sci. 30, 162\u2013178 (1985)","journal-title":"J. Comput. Syst. Sci."},{"key":"87_CR27","doi-asserted-by":"crossref","unstructured":"Legay, A., Murawski, A., Ouaknine, J., Worrell, J.: On automated verification of probabilistic programs. In: Ramakrishnan, C., Rehof, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 4963, pp. 173\u2013187. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78800-3_13"},{"issue":"5","key":"87_CR28","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.ic.2006.02.001","volume":"204","author":"P. Mateus","year":"2006","unstructured":"Mateus P., Sernadas A.: Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204(5), 771\u2013794 (2006)","journal-title":"Inf. Comput."},{"key":"87_CR29","unstructured":"Mateus, P., Sernadas, A., Sernadas, C.: Exogenous semantics approach to enriching logics. In: Sica, G. (ed.) Essays on the Foundations of Mathematics and Logic, vol. 1, pp. 165\u2013194. Polimetrica, Italy (2005)"},{"issue":"2","key":"87_CR30","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1992","unstructured":"Ng R., Subrahmanian V.S.: Probabilistic logic programming. Inf. Comput. 101(2), 150\u2013201 (1992)","journal-title":"Inf. Comput."},{"key":"87_CR31","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"Nilsson N.J.: Probabilistic logic. Artif. Intell. 28, 71\u201387 (1986)","journal-title":"Artif. Intell."},{"issue":"2","key":"87_CR32","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":"87_CR33","volume-title":"Theoretical Probability for Applications","author":"S.C. Port","year":"1993","unstructured":"Port S.C.: Theoretical Probability for Applications. Wiley, New York (1993)"},{"issue":"3","key":"87_CR34","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/s11225-012-9414-y","volume":"100","author":"J. Rasga","year":"2012","unstructured":"Rasga J., Sernadas A., Sernadas C.: Importing logics. Stud. Log. 100(3), 545\u2013581 (2012)","journal-title":"Stud. Log."},{"key":"87_CR35","volume-title":"Probability Theory and Probability Logic","author":"P. Roeper","year":"1999","unstructured":"Roeper P., Leblanc H.: Probability Theory and Probability Logic. University of Toronto Press, Toronto (1999)"},{"key":"87_CR36","volume-title":"Admissibility of Logical Inference Rules","author":"V.V. Rybakov","year":"1997","unstructured":"Rybakov V.V.: Admissibility of Logical Inference Rules. Elsevier Science Pub, Amsterdam (1997)"},{"issue":"2","key":"87_CR37","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004904401346","volume":"59","author":"A. Sernadas","year":"1997","unstructured":"Sernadas A., Sernadas C., Caleiro C.: Synchronization of logics. Stud. Log. 59(2), 217\u2013247 (1997)","journal-title":"Stud. Log."},{"issue":"2","key":"87_CR38","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"Sernadas A., Sernadas C., Caleiro C.: Fibring of logics as a categorial construction. J. Log. Comput. 9(2), 149\u2013179 (1999)","journal-title":"J. Log. Comput."},{"issue":"2","key":"87_CR39","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1137\/0213021","volume":"13","author":"M. Sharir","year":"1984","unstructured":"Sharir M., Pnueli A., Hart S.: Verification of probabilistic programs. SIAM J. Comput. 13(2), 292\u2013314 (1984)","journal-title":"SIAM J. Comput."},{"key":"87_CR40","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 24\u201384. Springer, Vienna (1998)","DOI":"10.1007\/978-3-7091-9459-1_3"},{"key":"87_CR41","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proceedings of the 1st Symposium on Logic in Computer Science, Cambridge, pp. 332\u2013344 (1986)"},{"key":"87_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"M.Y. Vardi","year":"1994","unstructured":"Vardi M.Y., Wolper P.: Reasoning about infinite computations. Inf. Comput. 115, 1\u201337 (1994)","journal-title":"Inf. Comput."},{"issue":"6","key":"87_CR43","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(6), 1427\u20131454 (2009)","journal-title":"J. Log. Comput."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-013-0087-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-013-0087-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-013-0087-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T04:23:32Z","timestamp":1716006212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-013-0087-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,26]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["87"],"URL":"https:\/\/doi.org\/10.1007\/s11787-013-0087-8","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,26]]}}}