Probabilistic extensions of various logical systems

DOI10.1007/978-3-030-52954-3MaRDI QIDQ5120609zbMATH OpenOpenAlexFDO

Authors

Publication date 15 September 2020

Full work available at URL https://doi.org/10.1007/978-3-030-52954-3

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Probability and inductive logic (03B48)

Recommendations

• Probability logics
• scientific article; zbMATH DE number 1929309
• Probability logics. Probability-based formalization of uncertain reasoning
• A probabilistic extension of intuitionistic logic
• On classical logic with probability operators: a short survey

Cited in

(7)

• Probabilization of logics: completeness and decidability
• Probability logics. Probability-based formalization of uncertain reasoning
• Probability logics
• Probabilistic extension and logic of complex unstable dynamical systems
• A probabilistic extension of intuitionistic logic
• Probability logics for reasoning about quantum observations
• Sharpening complexity results in quantified probability logic

This page was built for publication: Probabilistic extensions of various logical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5120609)