- An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.details
|
|
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.details
|
|
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.details
|
|
Capturing naive validity in the Cut-free approach.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2016 - Synthese 199 (Suppl 3):707-723.details
|
|
Validity and Truth-Preservation.Lionel Shapiro & Julien Murzi - 2015 - In D. Achourioti, H. Galinon & J. Martinez (eds.), Unifying the Philosophy of Truth. Springer. pp. 431-459.details
|
|
Truth without contra(di)ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.details
|
|
Naive truth and naive logical properties.Elia Zardini - 2014 - Review of Symbolic Logic 7 (2):351-384.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Modality and axiomatic theories of truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.details
|
|
Contraction and revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.details
|
|
Naive Structure, Contraction and Paradox.Lionel Shapiro - 2015 - Topoi 34 (1):75-87.details
|
|
A cut-free sequent system for two-dimensional modal logic, and why it matters.Greg Restall - 2012 - Annals of Pure and Applied Logic 163 (11):1611-1623.details
|
|
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.details
|
|
Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability.Richard Montague - 1963 - Journal of Symbolic Logic 40 (4):600-601.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.details
|
|
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).details
|
|
Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.details
|
|