Modal operators with probabilistic interpretations, I

Studia Logica 46 (4):383-393 (1987)
  Copy   BIBTEX


We present a class of normal modal calculi PFD, whose syntax is endowed with operators M r, one for each r [0,1] : if a is sentence, M r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular probability evaluations with range in a fixed finite subset F of [0,1] : there is one such a function for every world w, P F, and this allows to evaluate M ra as true in the world w iff p F r.For every fixed F as before, suitable axioms and rules are displayed, so that the resulting system P FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

How Bad Is Rape?H. E. Baber - 1987 - Hypatia 2 (2):125-138.
The Hiddenness Argument Revisited.J. L. Schellenberg - 2005 - Religious Studies 41 (3):287-303.
Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents.Peter J. Taylor - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304-310.
The Contemporary Significance of Confucianism.Tang Yijie & Yan Xin - 2008 - Frontiers of Philosophy in China 3 (4):477-501.


Added to PP

47 (#340,113)

6 months
5 (#647,370)

Historical graph of downloads
How can I increase my downloads?