The knower paradox in the light of provability interpretations of modal logic
type: Item
instance of: scholarly article
title: The knower paradox in the light of provability interpretations of modal logic
zbMATH Open document ID: 1067.03008
author: Paul Égré
published in: Journal of Logic, Language and Information
publication date: 2005-06-16T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2176469
zbMATH Keywords: epistemic logic
zbMATH Keywords: hierarchy solutions to semantic paradoxes
zbMATH Keywords: self-reference
zbMATH Keywords: Knower Paradox
zbMATH Keywords: modal logic
zbMATH Keywords: syntactical treatment of modalities
zbMATH Keywords: provability logic
zbMATH Keywords: first-order arithmetic
MaRDI profile type: Publication
full work available at URL: s10849-004-6406-y
OpenAlex ID: W1519910355
cites work: Q4315012
cites work: Q4845309
cites work: Q4397069
cites work: Provability: The emergence of a mathematical modality
cites work: Q3867808
cites work: A theorem concerning syntactical treatments of nonidealized belief
cites work: Q4052071
cites work: Transfinite recursive progressions of axiomatic theories
cites work: Saving the truth schema from paradox
cites work: An axiomatic approach to self-referential truth
cites work: A paradox regained
cites work: Solution of a problem of Leon Henkin
cites work: Q4000317
cites work: Necessity predicates and operators
cites work: Epistemic theories and the interpretation of Gödel's incompleteness theorems
cites work: Self-reference and modal logic
cites work: Q4003735
cites work: Provability interpretations of modal logic
cites work: A note on syntactical treatments of modality
cites work: Q5461405
DOI: 10.1007/S10849-004-6406-Y
Recommended article: The Paradox of Knowability from an Intuitionistic Standpoint
Recommended article: The Knowability Paradox in the Light of a Logic for Pragmatics
Recommended article: Montague's paradox, informal provability, and explicit modal logic
Recommended article: From the knowability paradox to the existence of proofs
Recommended article: Q4229382
Recommended article: Intuitionistic epistemic logic, Kripke models and Fitch's paradox
Recommended article: An Alternative Logic for Knowability
Recommended article: THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
Recommended article: On intuitionistic modal epistemic logic
Recommended article: Intuitionistic Epistemology and Modal Logics of Verification
description: scientific article; zbMATH DE number 2176469