A Modal Interpretation of the Logic of Interrogation
β Scribed by Rani Nelken; Chung-Chieh Shan
- Publisher
- Springer Netherlands
- Year
- 2006
- Tongue
- English
- Weight
- 246 KB
- Volume
- 15
- Category
- Article
- ISSN
- 0925-8531
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML
It fully formulates an interpretation of the Dempster-Shafer theory in terms of the standard semantics of modal logic. It is shown how to represent the basic probability assignment function as well as the commonality function of the Dempster-Shafer theory by modal logic and that this representation