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

self-referential truthsurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) 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

(37)

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