Some probability logics with new types of probability operators

Journal of Logic and Computation

Volumn 9, Issue 2, 1999, Pages 181-195

  Ognjanović, Zoran ^a   Rašković, Miodrag ^b  

^a MATHEMATICAL INSTITUTE   (Serbia)

^b Prirodno matemati ki Fakultet

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; RECURSIVE FUNCTIONS; SET THEORY;

AXIOMATIC SYSTEMS; RECURSIVE RATIONAL SUBSETS;

PROBABILISTIC LOGICS;

EID: 2442760220     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.2.181     Document Type: Article

References (6)

1. R. Fagin, J. Y. Halpern and N. Megiddo. A logic for reasoning about probabilities, Information and Computation, 87, 78-128, 1990.
2. R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability, Journal of the ACM, 41, 340-367, 1994.
3. P. R. Halmos. Measure Theory. Van Nostrand, 1950.
4. N. Nilsson. Probabilistic logic, Artificial Intelligence, 28, 71-87, 1986.
5. Z. Ognjanović and M. Rašković. A logic with higher order probabilities, Publication de l'Institut Math. (NS) vol 60, 1-4, 1996.
6. M. Rašković. Classical logic with some probability operators, Publication de l'Institut Math. (NS) 53, 1-3, 1993.