The logic of viewpoints

DOI10.1007/BF01063839MaRDI QIDQ1060205zbMATH OpenOpenAlexFDO

Authors Antti Hautamäki

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01063839

zbMATH Keywords

Kripke modelsmodal operatorsnecessitypossibilitypropositional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

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.

Recommendations

• scientific article; zbMATH DE number 770146
• scientific article; zbMATH DE number 4039842
• Topological reasoning and the logic of knowledge
• scientific article; zbMATH DE number 4208056
• scientific article; zbMATH DE number 97789

Cites work

• scientific article; zbMATH DE number 3963779 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• Two-dimensional modal logic

Cited in

(9)

• Points of view: a conceptual space approach
• Jaina Logic: A Contemporary Perspective
• scientific article; zbMATH DE number 4039842 (Why is no real title available?)
• scientific article; zbMATH DE number 2019861 (Why is no real title available?)
• Perspectival logic of acceptance and rejection
• scientific article; zbMATH DE number 770146 (Why is no real title available?)
• Pointwise intersection in neighbourhood modal logic
• scientific article; zbMATH DE number 6787704 (Why is no real title available?)
• Jaśkowski and the Jains

This page was built for publication: The logic of viewpoints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1060205)