Quantitative Logic and Soft Computing 2010 pp 207-214 | Cite as
The Interval-Valued Truth Degree Theory of the Modal Formulas
Conference paper
Abstract
The modal logic, as a decidable fragment of predict logic, not only solved the paradox of material implication thoroughly, but also have important properties. The present paper defines the standard model and the interval-valued truth degree of modal formulas after analyzing the idea of possible world. Then the harmonious theorem is proved, that is, the interval-value truth degree of formulas without modal operators degenerate into a point and the value is just equal to its Borel truth degree.
Keywords
Modal logic modal operator Borel probability measure interval-valued truth degreePreview
Unable to display preview. Download preview PDF.
References
- 1.Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)MATHGoogle Scholar
- 2.Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press, Oxford (1997)MATHGoogle Scholar
- 3.Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, London (1980)MATHGoogle Scholar
- 4.Lewis, C.I.: A Survery of Symbolic Logic, 2nd edn. University of California Press, Berkeley (1918/1960)Google Scholar
- 5.Kripke, S.A.: Semantic considerations on the modal logic. Acta Philos. Fennica 16, 83–94 (1963)MathSciNetMATHGoogle Scholar
- 6.Prior, A.N.: Possible Worlds. Philos. Quarterly 12, 36–43 (1962)CrossRefGoogle Scholar
- 7.Mates, B.: The Philosophy of Leibniz. Oxford University Press, Oxford (1986)Google Scholar
- 8.Prior, A.N.: Time and Modality. Clarendon Press, Oxford (1957)MATHGoogle Scholar
- 9.Gochet, P., Gribomont, P.: Handbook of the history of Logic. Epistemic Logic, vol. 7, pp. 99–195. Elsevier, Holland (2006)Google Scholar
- 10.Koller, D., Pfeffer, A.: Representations and solutions for game-theoretic problems. Artificial Intelligence 4(3), 169–190 (1997)MathSciNetGoogle Scholar
- 11.Benalycherif, L., Mclsaac, A.: A Semantic Condition for Data Independence and Application in Hardware Verification. Electronic Notes in Theoretical Computer Science 250(1), 39–54 (2009)CrossRefGoogle Scholar
- 12.Fagin, R., Halpern, J.Y., Moses, Y.: Reasoning About Konwledge. MIT Press, MA (1995)Google Scholar
- 13.Wang, G.J., Duan, Q.L.: The n-truth Degree Theory of Modal Formulas and Harmonious Theorem. Science in China (Ser. F) 39(2), 234–245 (2009) (in Chinese)Google Scholar
- 14.Wang, G.J.: An Introduction of Symbolic Logic and Resolution Priciple, 2nd edn. Science Press, Beijing (2008) (in Chinese)Google Scholar
- 15.Zhong, H.J.: Borel-type Probability Quantitative Logic (submitted for publication) (in Chinese)Google Scholar
- 16.Cohn, D.L.: Measure Theory. Brikhäuser, Boston (1980)MATHGoogle Scholar
- 17.Wang, G.J.: Non-classical Mathematical Logic and Approximate Reasoning, 2nd edn. Science Press, Beijing (2008) (in Chinese)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2010