Notes on Models of (Partial) Kripke–Feferman Truth

Studia Logica 111 (1):83-111 (2023)
  Copy   BIBTEX


This article investigates models of axiomatizations related to the semantic conception of truth presented by Kripke (J Philos 72(19):690–716, 1975), the so-called _fixed-point semantics_. Among the various proof systems devised as a proof-theoretic characterization of the fixed-point semantics, in recent years two alternatives have received particular attention: _classical systems_ (i.e., systems based on classical logic) and _nonclassical systems_ (i.e., systems based on some nonclassical logic). The present article, building on Halbach and Nicolai (J Philos Log 47(2):227–257, 2018), shows that there is a sense in which classical and nonclassical theories (in suitable variants) have the same models.



    Upload a copy of this work     Papers currently archived: 89,764

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Fixed-point models for paradoxical predicates.Luca Castaldo - 2021 - Australasian Journal of Logic 18 (7):688-723.
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.
Axioms for grounded truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic (1):33-58.
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.


Added to PP

21 (#624,191)

6 months
3 (#435,525)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luca Castaldo
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.

View all 25 references / Add more references