Marković, Zoran; Rašković, Miodrag Some new probability operators. (English) Zbl 07465319 Ognjanović, Zoran (ed.), Probabilistic extensions of various logical systems. Cham: Springer. 143-163 (2020). MSC: 03B48 PDF BibTeX XML Cite \textit{Z. Marković} and \textit{M. Rašković}, in: Probabilistic extensions of various logical systems. Cham: Springer. 143--163 (2020; Zbl 07465319) Full Text: DOI OpenURL
Ognjanović, Zoran; Ilić-Stepić, Angelina Logics with probability operators. (English) Zbl 07465315 Ognjanović, Zoran (ed.), Probabilistic extensions of various logical systems. Cham: Springer. 1-35 (2020). MSC: 03B48 PDF BibTeX XML Cite \textit{Z. Ognjanović} and \textit{A. Ilić-Stepić}, in: Probabilistic extensions of various logical systems. Cham: Springer. 1--35 (2020; Zbl 07465315) Full Text: DOI OpenURL
Vityaev, Evgeni; Odintsov, Sergei How to predict consistently? (English) Zbl 1430.68321 Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 35-41 (2019). MSC: 68T27 03B48 PDF BibTeX XML Cite \textit{E. Vityaev} and \textit{S. Odintsov}, Stud. Comput. Intell. 796, 35--41 (2019; Zbl 1430.68321) Full Text: DOI OpenURL
Bringsjord, Selmer; Govindarajulu, Naveen Sundar The epistemology of computer-mediated proofs. (English) Zbl 1451.68311 Hansson, Sven Ove (ed.), Technology and mathematics. Philosophical and historical investigations. Cham: Springer. Philos. Eng. Technol. 30, 165-183 (2018). MSC: 68V05 00A30 03B35 68V15 PDF BibTeX XML Cite \textit{S. Bringsjord} and \textit{N. S. Govindarajulu}, Philos. Eng. Technol. 30, 165--183 (2018; Zbl 1451.68311) Full Text: DOI OpenURL
Howson, Colin Repelling a Prussian charge with a solution to a paradox of Dubins. (English) Zbl 1436.03041 Synthese 195, No. 1, 225-233 (2018). MSC: 03A05 60A05 03H05 PDF BibTeX XML Cite \textit{C. Howson}, Synthese 195, No. 1, 225--233 (2018; Zbl 1436.03041) Full Text: DOI OpenURL
Vityaev, Evgeniĭ Evgen’evich Semantic probabilistic inference of predictions. (Russian. English summary) Zbl 1390.68680 Izv. Irkutsk. Gos. Univ., Ser. Mat. 21, 33-50 (2017). MSC: 68T37 68N17 PDF BibTeX XML Cite \textit{E. E. Vityaev}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 21, 33--50 (2017; Zbl 1390.68680) Full Text: Link OpenURL
Ferenczi, Miklós Probabilities defined on standard and non-standard cylindric set algebras. (English) Zbl 1357.03094 Synthese 192, No. 7, 2025-2033 (2015). MSC: 03G15 03B48 03H05 PDF BibTeX XML Cite \textit{M. Ferenczi}, Synthese 192, No. 7, 2025--2033 (2015; Zbl 1357.03094) Full Text: DOI OpenURL
Howson, Colin A continuum-valued logic of degrees of probability. (English) Zbl 1329.03061 Erkenntnis 79, No. 5, 1001-1013 (2014). MSC: 03B50 03B48 60A05 PDF BibTeX XML Cite \textit{C. Howson}, Erkenntnis 79, No. 5, 1001--1013 (2014; Zbl 1329.03061) Full Text: DOI OpenURL
Holm, Ruurik Infinity and verifiability in Carnap’s inductive logic. (English) Zbl 1284.03160 J. Appl. Log. 11, No. 4, 487-504 (2013). MSC: 03B48 PDF BibTeX XML Cite \textit{R. Holm}, J. Appl. Log. 11, No. 4, 487--504 (2013; Zbl 1284.03160) Full Text: DOI OpenURL
Hutter, Marcus; Lloyd, John W.; Ng, Kee Siong; Uther, William T. B. Probabilities on sentences in an expressive logic. (English) Zbl 1284.03161 J. Appl. Log. 11, No. 4, 386-420 (2013). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{M. Hutter} et al., J. Appl. Log. 11, No. 4, 386--420 (2013; Zbl 1284.03161) Full Text: DOI arXiv OpenURL
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia Generalized Bosbach states. I. (English) Zbl 1296.03040 Arch. Math. Logic 52, No. 3-4, 335-376 (2013). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G25 06F05 06D35 PDF BibTeX XML Cite \textit{L. C. Ciungu} et al., Arch. Math. Logic 52, No. 3--4, 335--376 (2013; Zbl 1296.03040) Full Text: DOI OpenURL
Howson, Colin Modelling uncertain inference. (English) Zbl 1275.03031 Synthese 186, No. 2, 475-492 (2012). MSC: 03A05 03B48 60A05 62A01 PDF BibTeX XML Cite \textit{C. Howson}, Synthese 186, No. 2, 475--492 (2012; Zbl 1275.03031) Full Text: DOI OpenURL
Georgescu, George States on polyadic MV-algebras. (English) Zbl 1219.03078 Stud. Log. 94, No. 2, 231-243 (2010). Reviewer: Stefano Aguzzoli (Milano) MSC: 03G20 03B50 06D35 28E15 PDF BibTeX XML Cite \textit{G. Georgescu}, Stud. Log. 94, No. 2, 231--243 (2010; Zbl 1219.03078) Full Text: DOI OpenURL
Howson, Colin Can logic be combined with probability? Probably. (English) Zbl 1171.03315 J. Appl. Log. 7, No. 2, 177-187 (2009). MSC: 03B48 PDF BibTeX XML Cite \textit{C. Howson}, J. Appl. Log. 7, No. 2, 177--187 (2009; Zbl 1171.03315) Full Text: DOI OpenURL
Lukasiewicz, Thomas Probabilistic description logic programs under inheritance with overriding for the semantic Web. (English) Zbl 1184.68517 Int. J. Approx. Reasoning 49, No. 1, 18-34 (2008). MSC: 68T37 03B48 68M11 68T05 PDF BibTeX XML Cite \textit{T. Lukasiewicz}, Int. J. Approx. Reasoning 49, No. 1, 18--34 (2008; Zbl 1184.68517) Full Text: DOI OpenURL
Nix, C. J.; Paris, J. B. A note on binary inductive logic. (English) Zbl 1127.03015 J. Philos. Log. 36, No. 6, 735-771 (2007). MSC: 03B48 PDF BibTeX XML Cite \textit{C. J. Nix} and \textit{J. B. Paris}, J. Philos. Log. 36, No. 6, 735--771 (2007; Zbl 1127.03015) Full Text: DOI Link OpenURL
Arló-Costa, Horacio; Pacuit, Eric First-order classical modal logic. (English) Zbl 1122.03011 Stud. Log. 84, No. 2, 171-210 (2006). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B45 PDF BibTeX XML Cite \textit{H. Arló-Costa} and \textit{E. Pacuit}, Stud. Log. 84, No. 2, 171--210 (2006; Zbl 1122.03011) Full Text: DOI Link OpenURL
Forcheri, Paola; Gentilini, Paolo Paraconsistent informational logic. (English) Zbl 1063.03012 J. Appl. Log. 3, No. 1, 97-118 (2005). MSC: 03B53 68T27 PDF BibTeX XML Cite \textit{P. Forcheri} and \textit{P. Gentilini}, J. Appl. Log. 3, No. 1, 97--118 (2005; Zbl 1063.03012) Full Text: DOI OpenURL
Kern-Isberner, Gabriele; Lukasiewicz, Thomas Combining probabilistic logic programming with the power of maximum entropy. (English) Zbl 1085.68170 Artif. Intell. 157, No. 1-2, 139-202 (2004). MSC: 68T37 68N17 PDF BibTeX XML Cite \textit{G. Kern-Isberner} and \textit{T. Lukasiewicz}, Artif. Intell. 157, No. 1--2, 139--202 (2004; Zbl 1085.68170) Full Text: DOI OpenURL
Howson, Colin Probability and logic. (English) Zbl 1037.03017 J. Appl. Log. 1, No. 3-4, 151-165 (2003). MSC: 03B48 PDF BibTeX XML Cite \textit{C. Howson}, J. Appl. Log. 1, No. 3--4, 151--165 (2003; Zbl 1037.03017) Full Text: DOI OpenURL
Hintikka, Jaakko Quantum logic as a fragment of independence-friendly logic. (English) Zbl 1011.03049 J. Philos. Log. 31, No. 3, 197-209 (2002). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G12 03B60 PDF BibTeX XML Cite \textit{J. Hintikka}, J. Philos. Log. 31, No. 3, 197--209 (2002; Zbl 1011.03049) Full Text: DOI OpenURL
Keisler, H. Jerome Randomizing a model. (English) Zbl 0924.03065 Adv. Math. 143, No. 1, 124-158 (1999). Reviewer: M.Weese (Potsdam) MSC: 03C90 03C10 PDF BibTeX XML Cite \textit{H. J. Keisler}, Adv. Math. 143, No. 1, 124--158 (1999; Zbl 0924.03065) Full Text: DOI Link OpenURL
Montagna, Franco; Simi, Giulia; Sorbi, Andrea Logic and probabilistic systems. (English) Zbl 0854.03020 Arch. Math. Logic 35, No. 4, 225-261 (1996). Reviewer: B.Boričić (Heraklion) MSC: 03B48 03F30 PDF BibTeX XML Cite \textit{F. Montagna} et al., Arch. Math. Logic 35, No. 4, 225--261 (1996; Zbl 0854.03020) Full Text: DOI OpenURL
Gerla, Giangiacomo Fuzzy refutations for probability and multivalued logics. (English) Zbl 0815.03016 Int. J. Approx. Reasoning 11, No. 4, 257-279 (1994). Reviewer: M.Matłoka (Poznań) MSC: 03B52 03B48 03B50 PDF BibTeX XML Cite \textit{G. Gerla}, Int. J. Approx. Reasoning 11, No. 4, 257--279 (1994; Zbl 0815.03016) Full Text: DOI OpenURL
Ng, Raymond; Subrahmanian, V. S. A semantical framework for supporting subjective and conditional probabilities in deductive databases. (English) Zbl 0784.68082 J. Autom. Reasoning 10, No. 2, 191-235 (1993). MSC: 68T27 68T99 68Q55 68P15 68N17 PDF BibTeX XML Cite \textit{R. Ng} and \textit{V. S. Subrahmanian}, J. Autom. Reasoning 10, No. 2, 191--235 (1993; Zbl 0784.68082) Full Text: DOI OpenURL
Ng, Raymond; Subrahmanian, V. S. Probabilistic logic programming. (English) Zbl 0781.68038 Inf. Comput. 101, No. 2, 150-201 (1992). Reviewer: N.Zamov (Kazan’) MSC: 68N17 68T99 68T15 PDF BibTeX XML Cite \textit{R. Ng} and \textit{V. S. Subrahmanian}, Inf. Comput. 101, No. 2, 150--201 (1992; Zbl 0781.68038) Full Text: DOI OpenURL
Halpern, Joseph Y. An analysis of first-order logics of probability. (English) Zbl 0723.03007 Artif. Intell. 46, No. 3, 311-350 (1990). Reviewer: H.E.Kyburg (Rochester) MSC: 03B48 03B30 60A05 PDF BibTeX XML Cite \textit{J. Y. Halpern}, Artif. Intell. 46, No. 3, 311--350 (1990; Zbl 0723.03007) Full Text: DOI OpenURL
Calabrese, Philip An algebraic synthesis of the foundations of logic and probability. (English) Zbl 0634.03018 Inf. Sci. 42, 187-237 (1987). Reviewer: H.E.Kyburg MSC: 03B48 60A05 03B45 PDF BibTeX XML Cite \textit{P. Calabrese}, Inf. Sci. 42, 187--237 (1987; Zbl 0634.03018) Full Text: DOI OpenURL
Feldman, Yishai A.; Harel, David A probabilistic dynamic logic. (English) Zbl 0537.68036 J. Comput. Syst. Sci. 28, 193-215 (1984). Reviewer: H.Nishimura MSC: 68Q65 03B48 68Q60 PDF BibTeX XML Cite \textit{Y. A. Feldman} and \textit{D. Harel}, J. Comput. Syst. Sci. 28, 193--215 (1984; Zbl 0537.68036) Full Text: DOI OpenURL
Ferenczi, M. Measures on cylindric algebras. (English) Zbl 0532.03028 Acta Math. Hung. 42, 3-17 (1983). MSC: 03G15 03B48 60B99 PDF BibTeX XML Cite \textit{M. Ferenczi}, Acta Math. Hung. 42, 3--17 (1983; Zbl 0532.03028) Full Text: DOI OpenURL
Montanaro, A.; Bressan, A. Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu). (English) Zbl 0485.03006 Rend. Sem. Mat. Univ. Padova 64, 109-126 (1981). MSC: 03B48 03B45 60A05 PDF BibTeX XML Cite \textit{A. Montanaro} and \textit{A. Bressan}, Rend. Semin. Mat. Univ. Padova 64, 109--126 (1981; Zbl 0485.03006) Full Text: Numdam EuDML OpenURL
Havranek, Tomas Towards a model theory of statistical theories. (English) Zbl 0393.62001 Synthese 36, 441-458 (1977). MSC: 62A01 03B25 03C65 PDF BibTeX XML Cite \textit{T. Havranek}, Synthese 36, 441--458 (1977; Zbl 0393.62001) Full Text: DOI OpenURL
Skala, Heinz J. On the problem of imprecision. (English) Zbl 0348.02022 Theory Decis. 7, 159-170 (1976). MSC: 03B50 03B99 94-00 60B99 PDF BibTeX XML Cite \textit{H. J. Skala}, Theory Decis. 7, 159--170 (1976; Zbl 0348.02022) Full Text: DOI OpenURL