Full Idea
Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth.
Gist of Idea
Kripke's semantic theory has actually inspired promising axiomatic theories
Source
report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2
Book Reference
Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.6
A Reaction
Feferman produced an axiomatic version of Kripke's semantic theory.
Related Idea
Idea 15324 Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles [Horsten]