{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:18Z","timestamp":1725518898339},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878025"},{"type":"electronic","value":"9783540878032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87803-2_28","type":"book-chapter","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T06:35:16Z","timestamp":1222151716000},"page":"338-348","source":"Crossref","is-referenced-by-count":5,"title":["How to Restore Compactness into Probabilistic Logics?"],"prefix":"10.1007","author":[{"given":"Aleksandar","family":"Perovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Ra\u0161kovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Markovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70075-2","volume-title":"Model theory","author":"C.C. Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model theory, 3rd edn. North-Holland, Amsterdam (1990)","edition":"3"},{"issue":"1\u20132","key":"28_CR2","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":"28_CR3","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s00500-007-0184-9","volume":"12","author":"T. Flaminio","year":"2008","unstructured":"Flaminio, T.: Strong non-standard completeness for fuzzy logics. Soft Computing\u00a012, 321\u2013333 (2008)","journal-title":"Soft Computing"},{"key":"28_CR4","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, 31\u201353 (2001)","journal-title":"Games and economic behavior"},{"key":"28_CR5","unstructured":"Keisler, J.: Elementary calculus. An infinitesimal approach, 2nd edn., Boston, Massachusetts, Prindle, Weber and Schmidt (1986)"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence\u00a055, 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"28_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-540-30227-8_20","volume-title":"Logics in Artificial Intelligence","author":"E. Marchioni","year":"2004","unstructured":"Marchioni, E., Godo, L.: A Logic for Reasoning about Coherent Conditional Probability: A Modal Fuzzy Logic Approach. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 213\u2013225. Springer, Heidelberg (2004)"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artificial intelligence\u00a028, 71\u201387 (1986)","journal-title":"Artificial intelligence"},{"key":"28_CR9","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: A logic with higher order probabilities. In: Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome\u00a060(74), pp. 1\u20134 (1996)"},{"issue":"2","key":"28_CR10","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. J. Logic Computat.\u00a09(2), 181\u2013195 (1999)","journal-title":"J. Logic Computat."},{"issue":"1\u20132","key":"28_CR11","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\u20132), 191\u2013212 (2000)","journal-title":"Theoretical Computer Science"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Ognjanovi\u0107, Z., Markovi\u0107, Z., Ra\u0161kovi\u0107, M.: Completeness Theorem for a Logic with imprecise and conditional probabilities. Publications de L\u2019Institute Matematique (Beograd), ns. 78(92), 35\u201349 (2005)","DOI":"10.2298\/PIM0578035O"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Ognjanovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M.: Logic with the qualitative probability operator. Logic journal of IGPL doi:10.1093\/jigpal\/jzm031","DOI":"10.1093\/jigpal\/jzm031"},{"key":"28_CR14","unstructured":"Ra\u0161kovi\u0107, M.: Classical logic with some probability operators. In: Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome 53(67), pp. 1\u20133 (1993)"},{"key":"28_CR15","unstructured":"Ra\u0161kovi\u0107, M., Ognjanovi\u0107, Z.: A first order probability logic LP Q . In: Publications de l\u2019institut mathematique, Nouvelle s\u00e9rie, tome 65(79), pp. 1\u20137 (1999)"},{"key":"28_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-30227-8_21","volume-title":"Logics in Artificial Intelligence","author":"M. Ra\u0161kovi\u0107","year":"2004","unstructured":"Ra\u0161kovi\u0107, M., Ognjanovi\u0107, Z., Markovi\u0107, Z.: A logic with Conditional Probabilities. In: Leite, J., Alferes, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 226\u2013238. Springer, Heidelberg (2004)"},{"key":"28_CR17","volume-title":"Non-standard analysis","author":"A. Robinson","year":"1966","unstructured":"Robinson, A.: Non-standard analysis. North-Holland, Amsterdam (1966)"},{"issue":"3","key":"28_CR18","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W. Hoek van der","year":"1997","unstructured":"van der Hoek, W.: Some considerations on the logic PeD: a logic combining modality and probability. Journal of Applied Non-Classical Logics\u00a07(3), 287\u2013307 (1997)","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87803-2_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:49:57Z","timestamp":1619509797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87803-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878025","9783540878032"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87803-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}