The logic of viewpoints
type: Item
instance of: scholarly article
title: The logic of viewpoints
zbMATH Open document ID: 0568.03005
DOI: 10.1007/BF01063839
author: Antti Hautamäki
published in: Studia Logica
publication date: 1983-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3906470
zbMATH Keywords: propositional logic
zbMATH Keywords: modal operators
zbMATH Keywords: necessity
zbMATH Keywords: possibility
zbMATH Keywords: Kripke models
MaRDI profile type: Publication
cites work: Q3867808
cites work: Q3731564
cites work: Two-dimensional modal logic
full work available at URL: https://doi.org/10.1007/bf01063839
OpenAlex ID: W135350372
description: scientific article; zbMATH DE number 3906470