The logic of viewpoints (Q1060205): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3867808 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3731564 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Two-dimensional modal logic / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 18:08, 14 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The logic of viewpoints |
scientific article |
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
