A propositional probabilistic logic with discrete linear time for reasoning about evidence-Reference-Cited by-同舟云学术

A propositional probabilistic logic with discrete linear time for reasoning about evidence

Published:2012-08-24 Issue: Volume: Page:
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Ognjanović Zoran,Marković Zoran,Rašković Miodrag,Doder Dragan,Perović Aleksandar

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/content/pdf/10.1007/s10472-012-9307-9.pdf

Reference48 articles.

1. Abadi, M.: The power of temporal proofs. Theor. Comp. Sci. 65, 35–83 (1989)

2. Abadi, M.: Errata for “The power of temporal proofs”. Theor. Comp. Sci. 70, 275 (1990)

3. Andréka, H., Németi, I., Sain, I.: On the strength of temporal proofs. Theor. Comp. Sci. 80, 125–151 (1991)

4. Burgess, J.: Axioms for tense logic I: since and until. Notre Dame J. Form. Log. 23(2), 367–374 (1982)

5. Burges, J.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. Reidel Publishing Company, Dordrecht (1984)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Probabilistic temporal logic with countably additive semantics;Annals of Pure and Applied Logic;2023-11

2. A Probabilistic Temporal Epistemic Logic: Strong Completeness;Logic Journal of the IGPL;2022-10-31

3. Logics for reasoning about degrees of confirmation;Journal of Logic and Computation;2021-05-31

4. A First-order Logic for Reasoning about Knowledge and Probability;ACM Transactions on Computational Logic;2020-04-30

5. Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work;Proceedings of the 11th International Conference on Agents and Artificial Intelligence;2019