In defence of PKF
From MaRDI portal
Cites work
- A lattice-theoretical fixpoint theorem and its applications
- Axiomatic theories of truth
- Axiomatizing Kripke's theory of truth
- Axiomatizing semantic theories of truth?
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Friedman and the axiomatization of Kripke's theory of truth
- Handbook of philosophical logic. Vol. 8
- scientific article; zbMATH DE number 5959536 (Why is no real title available?)
- scientific article; zbMATH DE number 4010467 (Why is no real title available?)
- scientific article; zbMATH DE number 50690 (Why is no real title available?)
- scientific article; zbMATH DE number 3470344 (Why is no real title available?)
- scientific article; zbMATH DE number 3490869 (Why is no real title available?)
- scientific article; zbMATH DE number 1344504 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 2229037 (Why is no real title available?)
- scientific article; zbMATH DE number 3020851 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Indicative conditionals, restricted quantification, and naive truth
- Negation, denial and language change in philosophical logic
- On the costs of nonclassical logic
- Outline of a Theory of Truth
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Reflecting on incompleteness
- Some remarks on extending and interpreting theories with a partial predicate for truth
- THE POWER OF NAIVE TRUTH
- The unfolding of non-finitist arithmetic
- Toward useful type-free theories. I
- Understanding truth
- Unfolding finitist arithmetic
This page was built for publication: In defence of PKF
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6836517)
