Languages with self-reference. II: Knowledge, belief, and modality
type: Item
instance of: scholarly article
title: Languages with self-reference. II: Knowledge, belief, and modality
zbMATH Open document ID: 0642.03017
DOI: 10.1016/0004-3702(88)90038-0
author: Donald Perlis
published in: Artificial Intelligence
publication date: 1988-01-01T00:00:00Z
review text: [For part I see ibid. 25, 301-322 (1985; Zbl 0581.03005).] Negative results of Montague and Thomason have diverted research in propositional attitudes away from syntactic (``first-order'') approaches, encouraging modal formalisms instead, especially in representing epistemic notions. We show that modal logics are on no firmer ground than first-order ones when equally endowed with substitutive self-reference. Nonetheless, there may still be remedies, hinging in part upon a distinction between ``dynamic'' and ``static'' notions of provability and belief (an earlier version of this paper emphasized a somewhat different distinction).
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4045718
zbMATH Keywords: modal logics
zbMATH Keywords: substitutive self-reference
zbMATH Keywords: provability
zbMATH Keywords: belief
MaRDI profile type: Publication
full work available at URL: 0004-3702(88)90038-0
OpenAlex ID: W1604070438
cites work: Q4196401
cites work: Q3867808
cites work: A logic of believing, knowing, and inferring
cites work: Belief, awareness, and limited reasoning
cites work: Transfinite recursive progressions of axiomatic theories
cites work: Toward useful type-free theories. I
cites work: Q4067100
cites work: Outline of a Theory of Truth
cites work: Foundations of a functional approach to knowledge representation
cites work: Q4729754
cites work: Q5726696
cites work: Semantical considerations on nonmonotonic logic
cites work: Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
cites work: Concatenation as a basis for arithmetic
cites work: Self-reference and modal logic
cites work: A note on syntactical treatments of modality
description: scientific article; zbMATH DE number 4045718