An alternate formulation of Kripke's theory of truth

DOI10.1007/BF00258432zbMath0413.03004OpenAlexW2084589161MaRDI QIDQ1260021

Lawrence Davis

Publication date: 1979

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

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

zbMATH Keywords

theory of truthnon-classical logicKripke's semanticssubstitutional interpretation of the quantifier

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (7)

Comparing fixed-point and revision theories of truth ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ A logic of intention and attempt ⋮ Supervaluation fixed-point logics of truth ⋮ Grounding, dependence, and paradox ⋮ Accepting inconsistencies from the paradoxes ⋮ Paradox, truth and logic. I. Paradox and truth

This page was built for publication: An alternate formulation of Kripke's theory of truth