𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Proof Theory of the Modal Logic Grz

✍ Scribed by M. Borga; P. Gentilini

Publisher
John Wiley and Sons
Year
1986
Tongue
English
Weight
246 KB
Volume
32
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On modal logic interpretation of Dempste
On modal logic interpretation of Dempster–Shafer theory of evidence
✍ David Harmanec; George J. Klir; Germano Resconi πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 465 KB πŸ‘ 1 views

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

The completeness of monotonic modal logi
The completeness of monotonic modal logics
✍ Brian F. Chellas; Audrey McKinney πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th