Author:
Ognjanović Zoran,Rašković Miodrag,Marković Zoran
Publisher
Springer International Publishing
Reference21 articles.
1. Abadi, M., Halpern, J.Y.: Decidability and expressiveness for first-order logics of probability. Inf. Comput. 112, 1–36 (1994)
2. Burgess, J.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 89–133. Reidel Publishing Company, Dordrecht (1984)
3. Garson, J.W.: Basic modal logic. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 368–448. Oxford University Press Inc., New York (1993)
4. Garson, J.W.: Quantification in modal logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 249–307. D. Reidel Publishing Company, Dordrecht (1984)
5. Halpern, Joseph Y.: An analysis of first-order logics of probability. Artif. Intell. 46, 311–350 (1990)