Editorial introduction

DOI10.1023/A:1011933220835MaRDI QIDQ5951909zbMATH OpenOpenAlexFDO

Authors Volker Halbach

Publication date 21 April 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1011933220835

zbMATH Keywords

surveyself-referential truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)

Recommendations

• A guide to truth predicates in the modern era
• Truth in applicative theories
• Comparing fixed-point and revision theories of truth
• A simple axiomatizable theory of truth
• Revision without revision sequences: self-referential truth

Cited in

(35)

• Axioms for grounded truth
• Modality and axiomatic theories of truth. I: Friedman-Sheard
• Weak and strong theories of truth
• Enayat theories
• Revision without revision sequences: self-referential truth
• Editorial: Introduction and Motivations
• Self-referential theories
• Super liars
• An axiomatic approach to self-referential truth
• Editorial introduction
• Trees for truth
• A guide to truth predicates in the modern era
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• A fixed point theory over stratified truth
• A co-inductive language and truth degrees
• Axiomatic theories of truth
• Axiomatic truth, syntax and metatheoretic reasoning
• Axiomatizing semantic theories of truth?
• An ordinal analysis for theories of self-referential truth
• Logical frameworks for truth and abstraction. An axiomatic study
• A paraconsistent route to semantic closure
• Alethic reference
• Reference and truth
• A new conditional for naive truth theory
• Comparing fixed-point and revision theories of truth
• Truth in applicative theories
• Revision revisited
• Friedman and the axiomatization of Kripke's theory of truth
• The truth is never simple
• Notes on Formal Theories of Truth
• Fixed point constructions
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Norms of truth and logical revision
• A proof-theoretic account of classical principles of truth
• Notes on the computational aspects of Kripke's theory of truth

This page was built for publication: Editorial introduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5951909)