In this paper, we investigate abstract model-theoretic properties which hold for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyze in which cases those properties in fact ensure the definability of the respective truth predicate. In some cases, we formulate different axiomatic theories which are indispensable for such properties to hold and we analyze the mutual definability relations between those theories.
No takes yet. Share an insight, caveat, or question.
Łełyk et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: