Studia Logica 46 (4):383-393 (1987)
AbstractWe 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
Similar books and articles
A Novel Interpretation of Plato’s Theory of Forms.P. X. Monaghan - 2010 - Metaphysica 11 (1):63-78.
Commodification or Compensation: A Reply to Ketchum.H. M. Malm - 1989 - Hypatia 4 (3):128-135.
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.
Added to PP
Historical graph of downloads
Citations of this work
Completeness Theorem for Propositional Probabilistic Models Whose Measures Have Only Finite Ranges.Radosav Dordević, Miodrag Rašković & Zoran Ognjanović - 2004 - Archive for Mathematical Logic 43 (4):557-563.
Completeness Theorems for Σ–Additive Probabilistic Semantics.Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović & Miodrag Rašković - 2020 - Annals of Pure and Applied Logic 171 (4):102755.
Multi-Agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.Dragan Doder, Nenad Savić & Zoran Ognjanović - 2020 - Journal of Logic, Language and Information 29 (1):77-107.
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.Dragan Doder, Nenad Savić & Zoran Ognjanović - 2020 - Journal of Logic, Language and Information 29 (1):77-107.
Logics in Artificial Intelligence: Proceedings of European Workshop, Jelia '96, Évora, Portugal, September 30-October 3, 1996. [REVIEW]José Júlio Alferes, Luís Moniz Pereira & Ewa Orlowska (eds.) - 1996 - Berlin and New York: Springer.