Sliusarev, Vladislav Modal logics of almost-sure validities in some classes of Euclidean and transitive frames. (English) Zbl 07974876 Comb. Number Theory 14, No. 1, 49-64 (2025). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Koponen, Vera; Weitkämper, Felix On the relative asymptotic expressivity of inference frameworks. (English) Zbl 07977495 Log. Methods Comput. Sci. 20, No. 4, Paper No. 13, 52 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Barbero, Fausto; Sandu, Gabriel Multiteam semantics for interventionist counterfactuals: probabilities and causation. (English) Zbl 07960230 J. Philos. Log. 53, No. 6, 1537-1577 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Farah, Ilijas; Ghasemi, Saeed Preservation of elementarity by tensor products of tracial von Neumann algebras. (English) Zbl 07949967 Pac. J. Math. 332, No. 1, 91-113 (2024). MSC: 03C66 03C98 46L10 46L54 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ognjanović, Zoran; Stepić, Angelina Ilić; Perović, Aleksandar A probabilistic temporal epistemic logic: decidability. (English) Zbl 07945599 Log. J. IGPL 32, No. 5, 827-879 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Eagle, Antony Probability and inductive logic. (English) Zbl 07943474 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-00-921019-5/pbk; 978-1-00-950758-5/hbk; 978-1-00-921017-1/ebook). 93 p. (2024). MSC: 03-01 03B48 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Hallonquist, Neil F. A logical consequence informed by probability. (English) Zbl 07938979 Log. Univers. 18, No. 3, 395-429 (2024). MSC: 03A05 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Kishnani, Harish; Kulshrestha, Amit Automorphic word maps and the Amit-Ashurst conjecture. (English) Zbl 1548.20055 J. Group Theory 27, No. 5, 1007-1023 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F10 20D60 20D15 20P05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hrushovski, Ehud Approximate equivalence relations. (English) Zbl 07902056 Model Theory 3, No. 2, 317-416 (2024). MSC: 03C07 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ikeda, Mitsumasa; Yamagata, Yoriyuki; Kihara, Takayuki On the metric temporal logic for continuous stochastic processes. (English) Zbl 07872361 Log. Methods Comput. Sci. 20, No. 2, Paper No. 14, 35 p. (2024). MSC: 68Q60 03B44 03B70 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Doder, Dragan; Ognjanović, Zoran Probabilistic temporal logic with countably additive semantics. (English) Zbl 07870395 Ann. Pure Appl. Logic 175, No. 9, Article ID 103389, 26 p. (2024). MSC: 03B44 03B48 03C80 68T27 68T35 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Corsi, Esther Anna; Flaminio, Tommaso; Hosni, Hykel A logico-geometric comparison of coherence for non-additive uncertainty measures. (English) Zbl 07870394 Ann. Pure Appl. Logic 175, No. 9, Article ID 103342, 27 p. (2024). MSC: 03B48 60A05 68T37 60A10 × Cite Format Result Cite Review PDF Full Text: DOI
Pfeifer, Niki; Sanfilippo, Giuseppe Probability propagation rules for Aristotelian syllogisms. (English) Zbl 07870392 Ann. Pure Appl. Logic 175, No. 9, Article ID 103340, 43 p. (2024). MSC: 03B48 03A05 03B42 03C80 60-08 60A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ibeling, Duligur; Icard, Thomas; Mierzewski, Krzysztof; Mossé, Milan Probing the quantitative-qualitative divide in probabilistic reasoning. (English) Zbl 07870391 Ann. Pure Appl. Logic 175, No. 9, Article ID 103339, 45 p. (2024). MSC: 03A05 03B48 68Q19 60A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Nazari, Sajad Reasoning with belief functions over Belnap-Dunn logic. (English) Zbl 07870390 Ann. Pure Appl. Logic 175, No. 9, Article ID 103338, 60 p. (2024). MSC: 03B42 03B48 03B52 03B53 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Flaminio, Tommaso; Ugolini, Sara Encoding de Finetti’s coherence within Łukasiewicz logic and MV-algebras. (English) Zbl 07870389 Ann. Pure Appl. Logic 175, No. 9, Article ID 103337, 33 p. (2024). MSC: 06D35 03B52 68T37 60A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rosella, Giuliano; Sprenger, Jan Causal modeling semantics for counterfactuals with disjunctive antecedents. (English) Zbl 07870388 Ann. Pure Appl. Logic 175, No. 9, Article ID 103336, 17 p. (2024). MSC: 00B25 03B05 03B48 03B70 62A01 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Paris, J. B.; Vencovská, A. Asymptotic conditional probabilities for binary probability functions. (English) Zbl 07870387 Ann. Pure Appl. Logic 175, No. 9, Article ID 103335, 31 p. (2024). MSC: 03B48 03B42 03A05 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Cieśliński, Cezary; Horsten, Leon; Leitgeb, Hannes Axioms for type-free subjective probability. (English) Zbl 07861980 Rev. Symb. Log. 17, No. 2, 493-508 (2024). MSC: 03A05 60A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Belot, Gordon Unprincipled. (English) Zbl 07861978 Rev. Symb. Log. 17, No. 2, 435-474 (2024). MSC: 03B48 03A10 60A05 62A01 × Cite Format Result Cite Review PDF Full Text: DOI
Castronovo, Lydia; Sanfilippo, Giuseppe A probabilistic analysis of selected notions of iterated conditioning under coherence. (English) Zbl 07834334 Int. J. Approx. Reasoning 165, Article ID 109088, 42 p. (2024). MSC: 03B48 68T37 03A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
K., Divya; K., Indhira Performance analysis and ANFIS computing of an unreliable Markovian feedback queueing model under a hybrid vacation policy. (English) Zbl 1540.90078 Math. Comput. Simul. 218, 403-419 (2024). MSC: 90B22 60K25 × Cite Format Result Cite Review PDF Full Text: DOI
Divya, K.; Indhira, K. Performance analysis and ANFIS computing of a Markovian queuing model with intermittently accessible server under a hybrid vacation policy. (English) Zbl 1534.60129 RAIRO, Oper. Res. 58, No. 2, 1257-1279 (2024). MSC: 60K25 90B22 60K20 68M20 × Cite Format Result Cite Review PDF Full Text: DOI
Pfeifer, Niki; Sanfilippo, Giuseppe Connexive logic, probabilistic default reasoning, and compound conditionals. (English) Zbl 07830167 Stud. Log. 112, No. 1-2, 167-206 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Mossé, Milan; Ibeling, Duligur; Icard, Thomas Is causal reasoning harder than probabilistic reasoning? (English) Zbl 07827529 Rev. Symb. Log. 17, No. 1, 106-131 (2024). MSC: 03A05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baier, Christel; Piribauer, Jakob; Ziemek, Robin Foundations of probability-raising causality in Markov decision processes. (English) Zbl 07814912 Log. Methods Comput. Sci. 20, No. 1, Paper No. 4, 66 p. (2024). MSC: 68Q60 03A05 03B48 68Q25 68T27 90C40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Niestegge, Gerd Non-symmetric transition probability in generalized qubit models. (English) Zbl 1541.81044 Found. Phys. 54, No. 1, Paper No. 9, 20 p. (2024). MSC: 81P68 81P10 03G12 81P65 32F10 17A45 53C27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Magee, Michael; Puder, Doron Matrix group integrals, surfaces and mapping class groups. II: \( \mathrm{O}(n)\) and \(\mathrm{Sp}(n) \). (English) Zbl 07802397 Math. Ann. 388, No. 2, 1437-1494 (2024). Reviewer: Uzi Vishne (Ramat Gan) MSC: 20E05 20F65 60B20 22E30 15B52 60B15 20F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ciaglia, F. M.; Cosmo, F. Di; Ibort, A.; Marmo, G. G-dual teleparallel connections in information geometry. (English) Zbl 1536.81019 Inf. Geom. 7, Suppl. 1, 587-608 (2024). MSC: 81P45 60E05 28E15 08C20 31C12 14D21 11F12 81R60 53B12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Égré, Paul; Ripley, David Probabilistic consequence relations. arXiv:2411.18849 Preprint, arXiv:2411.18849 [math.LO] (2024). MSC: 03B48 03B47 × Cite Format Result Cite Full Text: arXiv OA License
Hossain, Akash Forking in valued fields and related structures. arXiv:2409.16393 Preprint, arXiv:2409.16393 [math.LO] (2024). MSC: 03C52 03C45 03C60 03C64 03C95 06E15 06F20 11D88 12J10 12J25 13J15 28E15 54D45 54D80 60B05 × Cite Format Result Cite Full Text: arXiv
Jacobs, Bart Drawing with Distance. arXiv:2405.18182 Preprint, arXiv:2405.18182 [cs.LO] (2024). MSC: 03B70 68Q87 18C50 × Cite Format Result Cite Full Text: arXiv
Guallart, Nino Modal Semantics for Reasoning with Probability and Uncertainty. arXiv:2404.15461 Preprint, arXiv:2404.15461 [math.LO] (2024). MSC: 03B42 03B45 03B48 × Cite Format Result Cite Full Text: arXiv
Huttegger, Simon M.; Walsh, Sean; Blando, Francesca Zaffora Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth. arXiv:2403.19978 Preprint, arXiv:2403.19978 [math.LO] (2024). MSC: 03D32 03A10 03D78 03F60 60A10 60B05 60G48 × Cite Format Result Cite Full Text: arXiv OA License
Koponen, Vera Random expansions of finite structures with bounded degree. arXiv:2401.04802 Preprint, arXiv:2401.04802 [math.LO] (2024). MSC: 03C13 03C10 03C80 03B70 68T27 60C05 × Cite Format Result Cite Full Text: arXiv OA License
Das, Nilanjan Credal imprecision and the value of evidence. (English) Zbl 07951043 Nôus 57, No. 3, 684-721 (2023). MSC: 03A10 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis Probabilistic autoepistemic equilibrium logic. (English) Zbl 07931501 Abe, Jair Minoro (ed.), Advances in applied logics. Applications of logic for philosophy, mathematics and information technology. Cham: Springer. Intell. Syst. Ref. Libr. 243, 81-87 (2023). MSC: 03B48 03B45 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Mazliak, Laurent; Sage, Marc Altered states: Borel and the probabilistic approach to reality. (English) Zbl 1547.01026 Cantù, Paola (ed.) et al., Logic, epistemology, and scientific theories – from Peano to the Vienna Circle. Cham: Springer. Vienna Circ. Inst. Yearb. 29, 37-57 (2023). MSC: 01A60 03-03 28-03 60-03 × Cite Format Result Cite Review PDF Full Text: DOI
Jagadeesan, Radha (Towards a) statistical probabilistic lazy lambda calculus. (English) Zbl 07920701 Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 1073-1094 (2023). MSC: 03B70 68Qxx 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Miranda, Enrique (ed.); Montes, Ignacio (ed.); Quaeghebeur, Erik (ed.); Vantaggi, Barbara (ed.) International symposium on imprecise probability: theories and applications, ISIPTA 2023. Proceedings of the 13th symposium, Oviedo, Spain, July 11–14, 2023. (English) Zbl 1546.60005 Proceedings of Machine Learning Research (PMLR) 215. [s.l.]: Proceedings of Machine Learning Research PMLR. 471 p., electronic only, open access (2023). MSC: 60-06 03-06 62-06 68-06 60K20 × Cite Format Result Cite Review PDF Full Text: Link
Du, Wenjing; Niu, Zihan Computing logic for initial probabilities of Bayesian artificial intelligence. (English) Zbl 1535.68376 Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 159-174 (2023). MSC: 68T37 62F15 62H22 68T27 × Cite Format Result Cite Review PDF Full Text: Link
Goodman, Jeremy; Salow, Bernhard Belief revision from probability. (English) Zbl 1541.03056 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 308-317 (2023). MSC: 03B42 03B48 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pechenkin, Aleksandr Aleksandrovich Quantum logic in the context of the mathematical foundation of quantum mechanics. (Russian. English summary) Zbl 1547.03372 Log. Issled. 29, No. 2, 89-103 (2023). MSC: 03G12 81P10 × Cite Format Result Cite Review PDF Full Text: DOI
Molinari, Giacomo Towards the inevitability of non-classical probability. (English) Zbl 1533.60005 Rev. Symb. Log. 16, No. 4, 1053-1079 (2023). MSC: 60A99 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Das, Susmoy; Sharma, Arpit On the use of model and logical embeddings for model checking of probabilistic systems. (English) Zbl 1543.68203 Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 115-131 (2023). MSC: 68Q60 03B48 60J20 68Q85 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI
Hansson, Sven Ove A basis for AGM revision in Bayesian probability revision. (English) Zbl 07785155 J. Philos. Log. 52, No. 6, 1535-1559 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Klein, Moshe; Maimon, Oded Soft logic as an extension of Pascal’s work. (English) Zbl 1537.03021 \(p\)-Adic Numbers Ultrametric Anal. Appl. 15, No. 2, 119-132 (2023). MSC: 03B52 03E72 11B65 × Cite Format Result Cite Review PDF Full Text: DOI
Dautović, Šejla; Doder, Dragan; Ognjanović, Zoran Reasoning about knowledge and conditional probability. (English) Zbl 1542.03040 Int. J. Approx. Reasoning 163, Article ID 109037, 16 p. (2023). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 03B42 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Radzvilas, Mantas; Peden, William; De Pretis, Francesco Making decisions with evidential probability and objective Bayesian calibration inductive logics. (English) Zbl 1531.68139 Int. J. Approx. Reasoning 162, Article ID 109030, 37 p. (2023). MSC: 68T37 03B48 68T05 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Jahn, Michael; Scheutz, Matthias Generalizing probabilistic material implication and Bayesian conditionals. (English) Zbl 1533.03016 Int. J. Approx. Reasoning 162, Article ID 109021, 14 p. (2023). MSC: 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Navara, Mirko; Ševic, Jan Maximum likelihood estimator of quantum probabilities. (English) Zbl 07764992 Int. J. Theor. Phys. 62, No. 10, Paper No. 214, 15 p. (2023). MSC: 81P16 81P10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fernández-Sánchez, Juan; Kolesárová, Anna; Mesiar, Radko; Quesada-Molina, José Juan; Úbeda-Flores, Manuel A generalization of a copula-based construction of fuzzy implications. (English) Zbl 1522.68563 Fuzzy Sets Syst. 456, 197-207 (2023). MSC: 68T37 03B52 62H05 × Cite Format Result Cite Review PDF Full Text: DOI
Wójtowicz, Anna; Wójtowicz, Krzysztof A minimal probability space for conditionals. (English) Zbl 07753834 J. Philos. Log. 52, No. 5, 1385-1415 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Hansson, Sven Ove Iterated AGM revision based on probability revision. (English) Zbl 07753645 J. Logic Lang. Inf. 32, No. 4, 657-675 (2023). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Hosni, Hykel; Landes, Jürgen Logical perspectives on the foundations of probability. (English) Zbl 07738940 Open Math. 21, Article ID 20220598, 23 p. (2023). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03-01 03-03 03B42 03B48 60-01 60A99 68T27 68T30 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Speranski, S. O. Elementary invariants for quantified probability logic. (English. Russian original) Zbl 07735226 Dokl. Math. 107, No. 2, 93-96 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 8-12 (2023). MSC: 03Bxx 03Dxx 03Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Bartoletti, Massimo; Murgia, Maurizio; Zunino, Robero Sound approximate and asymptotic probabilistic bisimulations for PCTL. (English) Zbl 07731911 Log. Methods Comput. Sci. 19, No. 1, Paper No. 22, 30 p. (2023). MSC: 68Q85 03B44 68Q60 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van Rooij, Robert; Krzyżanowska, Karolina; Douven, Igor Williamson’s abductive case for the material conditional account. (English) Zbl 07725405 Stud. Log. 111, No. 4, 653-685 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Hunter, Anthony; Potyka, Nico Syntactic reasoning with conditional probabilities in deductive argumentation. (English) Zbl 1524.68357 Artif. Intell. 321, Article ID 103934, 34 p. (2023). MSC: 68T27 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Camina, Rachel D.; Cocke, William L.; Thillaisundaram, Anitha The Amit-Ashurst conjecture for finite metacyclic \(p\)-groups. (English) Zbl 1520.20076 Eur. J. Math. 9, No. 3, Paper No. 46, 13 p. (2023). Reviewer: Marco Trombetti (Napoli) MSC: 20F10 20D15 20P05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tiwari, Devvrat; Banerjee, Subhashish A study of the quasi-probability distributions of the Tavis-Cummings model under different quantum channels. (English) Zbl 1528.81165 Ann. Phys. 455, Article ID 169390, 14 p. (2023). MSC: 81R25 81V45 57R67 81V80 03B48 81R30 60H50 81P47 81Q12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ilić Stepić, Angelina; Ognjanović, Zoran; Perović, Aleksandar Probability logics for reasoning about quantum observations. (English) Zbl 07710086 Log. Univers. 17, No. 2, 175-219 (2023). MSC: 03B48 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Granville, Andrew; Lumley, Allysa Primes in short intervals: heuristics and calculations. (English) Zbl 07708950 Exp. Math. 32, No. 2, 378-404 (2023). MSC: 68-XX 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Węgrecki, Jakub; Wroński, Leszek Revisiting the conditional construal of conditional probability. (English) Zbl 1530.03098 Log. Log. Philos. 32, No. 2, 261-268 (2023). MSC: 03B48 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
de Wit, Vincent; Doder, Dragan; Meyer, John Jules Probability deontic logics for reasoning about uncertain norms. (English) Zbl 1515.03093 J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 2, 193-220 (2023). MSC: 03B45 03B48 03B25 68T27 × Cite Format Result Cite Review PDF Full Text: Link
Charlow, Nate Modus ponens and the logic of decision. (English) Zbl 07695106 J. Philos. Log. 52, No. 3, 859-888 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI Link
Rad, Soroush Rafiee Probabilistic entailment on first order languages and reasoning with inconsistencies. (English) Zbl 1518.03002 Rev. Symb. Log. 16, No. 2, 351-368 (2023). Reviewer: Jürgen Landes (München) MSC: 03B42 03B48 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Baldi, Paolo; Hosni, Hykel A logic-based tractable approximation of probability. (English) Zbl 07686428 J. Log. Comput. 33, No. 3, 599-622 (2023). MSC: 68T27 03B48 68T37 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baratella, Stefano A finitary outer measure logic. (English) Zbl 07686426 J. Log. Comput. 33, No. 3, 564-576 (2023). MSC: 03B48 × Cite Format Result Cite Review PDF Full Text: DOI Link
Baratella, Stefano An infinitary propositional probability logic. (English) Zbl 07680025 Arch. Math. Logic 62, No. 3-4, 291-320 (2023). MSC: 03B48 03C75 03C20 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Landes, Juergen; Rafiee Rad, Soroush; Williamson, Jon Determining maximal entropy functions for objective Bayesian inductive logic. (English) Zbl 07677864 J. Philos. Log. 52, No. 2, 555-608 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Kaufmann, Stefan Bernoulli semantics and ordinal semantics for conditionals. (English) Zbl 1539.03088 J. Philos. Log. 52, No. 1, 199-220 (2023). MSC: 03B48 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Sanchez, Michał Gil; Gyenis, Zalán; Wroński, Leszek Probability and symmetric logic. (English) Zbl 1539.03089 J. Philos. Log. 52, No. 1, 183-198 (2023). MSC: 03B48 03B50 60A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Landes, Jürgen Rules of proof for maximal entropy inference. (English) Zbl 07639181 Int. J. Approx. Reasoning 153, 144-171 (2023). MSC: 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Brussee, Rogier Fuzzy Logic and Markov Kernels. arXiv:2303.03725 Preprint, arXiv:2303.03725 [cs.LO] (2023). MSC: 03B22 18A15 60A86 × Cite Format Result Cite Full Text: arXiv
Skipper, Mattias; Bjerring, Jens Christian Bayesianism for non-ideal agents. (English) Zbl 07956382 Erkenntnis 87, No. 1, 93-115 (2022). MSC: 03A05 60A05 62A01 × Cite Format Result Cite Review PDF Full Text: DOI
Lee, Byeong D. A coherentist justification of induction. (English) Zbl 07956379 Erkenntnis 87, No. 1, 35-52 (2022). MSC: 03A05 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Rott, Hans ‘A formula which I derived many years ago’ Boole, Reichenbach and Popper on probability and conditionals. (English) Zbl 07955674 Hist. Philos. Log. 43, No. 4, 383-390 (2022). MSC: 03-03 03B48 01A55 01A60 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Mio, Matteo; Sarkis, Ralph; Vignudelli, Valeria Beyond nonexpansive operations in quantitative algebraic reasoning. (English) Zbl 07954867 Baier, Christel (ed.) et al., Proceedings of the 2022 37th annual ACM/IEEE symposium on logic in computer science, LICS 2022, Haifa, Israel, August 2–5, 2022. New York, NY: Association for Computing Machinery (ACM). Article No. 52, 13 p. (2022). MSC: 08B05 18C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baldi, Paolo; Hosni, Hykel Probability and degrees of truth. (English) Zbl 07947477 Sedlár, Igor (ed.), The Logica yearbook 2021. Selected papers based on the presentations at the symposium Logica 2021, Hejnice Monastery, Czech Republic, September 27 – October 1, 2021. London: College Publications. 1-18 (2022). MSC: 03A05 03Bxx × Cite Format Result Cite Review PDF
Bradley, Seamus Dilation and informativeness. (English) Zbl 07931513 Augustin, Thomas (ed.) et al., Reflections on the foundations of probability and statistics. Essays in honor of Teddy Seidenfeld. Cham: Springer. Theory Decis. Libr., Ser. A: Philos. Methodol. Soc. Sci. 54, 125-141 (2022). MSC: 03A10 68T37 60A05 03B42 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Elga, Adam; Rayo, Agustín Fragmentation and logical omniscience. (English) Zbl 1535.03021 Nôus 56, No. 3, 716-741 (2022). MSC: 03A05 03A10 03B48 × Cite Format Result Cite Review PDF Full Text: DOI Link
Guan, Ji; Yu, Nengkun A probabilistic logic for verifying continuous-time Markov chains. (English) Zbl 1547.68426 Fisman, Dana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13244, 3-21 (2022). MSC: 68Q60 03B44 03B48 60J25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bortolussi, Luca; Gallo, Giuseppe Maria; Křetínský, Jan; Nenzi, Laura Learning model checking and the kernel trick for signal temporal logic on stochastic processes. (English) Zbl 1547.68414 Fisman, Dana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13243, 281-300 (2022). MSC: 68Q60 03B44 68Q87 68T05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Larrauri, Alberto; Müller, Tobias; Noy, Marc Limiting probabilities of first order properties of random sparse graphs and hypergraphs. (English) Zbl 1522.05494 Random Struct. Algorithms 60, No. 3, 506-526 (2022). MSC: 05D40 05C80 05C10 05C42 60C05 03B10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Durand-Richard, Marie-José Boole’s symbolized laws of thought facing empiricism. (English) Zbl 1543.03010 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 97-118 (2022). MSC: 03-03 01A55 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Ilić-Stepić, Anelina; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic. (English) Zbl 1521.03016 Math. Log. Q. 68, No. 4, 479-495 (2022). MSC: 03B20 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Corsi, Esther Anna; Flaminio, Tommaso; Hosni, Hykel Towards a unified view on logics for uncertainty. (English) Zbl 1524.68353 Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 329-337 (2022). MSC: 68T27 03B45 03B52 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Flaminio, Tommaso; Godo, Lluis; Ugolini, Sara An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. (English) Zbl 1524.68355 Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 124-138 (2022). MSC: 68T27 03B48 03B50 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Castronovo, Lydia; Sanfilippo, Giuseppe Iterated conditionals, trivalent logics, and conditional random quantities. (English) Zbl 1524.68352 Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 47-63 (2022). MSC: 68T27 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Meng, Yiming; Liu, Jun Robustly complete finite-state abstractions for verification of stochastic systems. (English) Zbl 07643429 Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 80-97 (2022). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Moore, Eoin Soundness and completeness results for LEA and probability semantics. (English) Zbl 07638208 J. Log. Comput. 32, No. 8, 1720-1746 (2022). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Abramov, V. E.; Yuklasov, K. A. Terminological varieties and misconceptions in probability. (English) Zbl 1511.60004 Lobachevskii J. Math. 43, No. 9, 2370-2377 (2022). Reviewer: Franka Miriam Brückler (Zagreb) MSC: 60-03 60Axx × Cite Format Result Cite Review PDF Full Text: DOI
Ivanovska, Magdalena; Slavkovik, Marija Probabilistic judgement aggregation by opinion update. (English) Zbl 1522.68569 Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 19th international conference, MDAI 2022, Sant Cugat, Spain, August 30 – September 2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13408, 26-37 (2022). MSC: 68T37 03B48 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Berens, Maximilian; Biskup, Joachim On sampling representatives of relational schemas with a functional dependency. (English) Zbl 07630636 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 1-19 (2022). MSC: 68P15 68T27 68T35 68U35 × Cite Format Result Cite Review PDF Full Text: DOI
Ognjanović, Zoran; Perović, Aleksandar; Ilić-Stepić, Angelina Tableau for the logic ILP. (English) Zbl 1513.03030 Publ. Inst. Math., Nouv. Sér. 112(126), 1-11 (2022). MSC: 03B20 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Gerner, Matthias Sample logic. (English) Zbl 1499.03019 Log. J. IGPL 30, No. 5, 728-776 (2022). MSC: 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Du, Wenjing; Niu, Zihan; Xiong, Minghui Resolving the Cohenian paradox in judicial probability theory. (English) Zbl 1541.03014 J. Log. Comput. 32, No. 7, 1469-1485 (2022). MSC: 03A99 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
He, Pengfei; Wang, Juntao; Yang, Jiang The existence of states based on Glivenko semihoops. (English) Zbl 07603661 Arch. Math. Logic 61, No. 7-8, 1145-1170 (2022). MSC: 03F52 03G10 03G25 06D15 × Cite Format Result Cite Review PDF Full Text: DOI
Cantwell, John Revisiting McGee’s probabilistic analysis of conditionals. (English) Zbl 07595241 J. Philos. Log. 51, No. 5, 973-1017 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI