We prove a completeness theorem for Kr, an extension of K by the operator O r that means "there exists a finite number of accessible worlds such that . . . is true", plus suitable axioms to rule it. This is done by an application of the method of consistency properties for modal systems as in [4] wi
✦ LIBER ✦
Grades of Probability Modality in the Law of Evidence
✍ Scribed by Lennart Åqvist
- Publisher
- Springer Netherlands
- Year
- 2010
- Tongue
- English
- Weight
- 309 KB
- Volume
- 94
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
The Modality of Finite (Graded Modalitie
✍
Maurizio Fattorosi-Barnaba; Uliano Paolozzi Balestrini
📂
Article
📅
1999
🏛
John Wiley and Sons
🌐
English
⚖ 583 KB
An interpretation of probability in the
✍
Lennart Åqvist
📂
Article
📅
2007
🏛
Springer Netherlands
🌐
English
⚖ 436 KB
Grades of Essentialism in Quantified Mod
✍
Parsons, Terence
📂
Fiction
📅
0
🌐
English
⚖ 926 KB
Probability and the exponential laws of
✍
M.C. Holmes
📂
Article
📅
1933
🏛
Elsevier Science
🌐
English
⚖ 283 KB
Revision of the probability laws of suns
✍
W. Gleissberg
📂
Article
📅
1973
🏛
Springer
🌐
English
⚖ 175 KB
Of the four probability laws of sunspot variations established in 1942 only those concerning the four-cycle averages of the reduced period of rise and of the height of maximum are confirmed by the addition of recent data. Improved formulations of these two laws are given.
Large deviation probabilities in the str
✍
D. Siegmund
📂
Article
📅
1975
🏛
Springer
🌐
English
⚖ 287 KB