The logic of viewpoints (Q1060205)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3906470
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The logic of viewpoints |
scientific article; zbMATH DE number 3906470 |
Statements
The logic of viewpoints (English)
0 references
1983
0 references
In this paper a propositional logic of viewpoints is presented. The language of this logic consists of the usual modal operators L (of necessity) and M (of possibility) as well as of two new operators A and R. The intuitive interpretations of A and R are ''from all viewpoints'' and ''from some viewpoints'', respectively. Semantically the language is interpreted by using Kripke models augmented with sets of ''viewpoints'' and with a new alternativeness relation for the operator A. Truth values of formulas are evaluated with respect to a world and a viewpoint. Various axiomatizations of the logic of viewpoints are presented and proved complete. Finally, some applications are given.
0 references
propositional logic
0 references
modal operators
0 references
necessity
0 references
possibility
0 references
Kripke models
0 references
0.7343034744262695
0 references
