Operators in the paradox of the knower

DOI10.1007/BF01064487zbMath0803.03003OpenAlexW1991226376MaRDI QIDQ1313377

Patrick Grim

Publication date: 3 January 1995

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

operatorinconsistencyformal arithmeticGödel numberGödel diagonalization theoremknowledge predicateParadox of the Knower

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

The paradox of the knower revisited ⋮ Montague's theorem and modal logic

Cites Work

• A paradox regained
• Necessity predicates and operators
• Propositional quantifiers in modal logic1
• On modal logic with propositional quantifiers
• Unnamed Item
• Unnamed Item

This page was built for publication: Operators in the paradox of the knower