Notes on naive semantics
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3963779 (Why is no real title available?)
- scientific article; zbMATH DE number 3249761 (Why is no real title available?)
- scientific article; zbMATH DE number 3392404 (Why is no real title available?)
- scientific article; zbMATH DE number 3032489 (Why is no real title available?)
- Outline of a Theory of Truth
- The logic of paradox
- Trial and error predicates and the solution to a problem of Mostowski
Cited in
(58)- Ultimate truth vis-à-vis stable truth
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Jump liars and Jourdain's card via the relativized T-scheme
- Property theory and the revision theory of definitions
- Four valued semantics and the Liar
- Construction of Truth Predicates: Approximation Versus Revision
- Revision without revision sequences: self-referential truth
- Paradox, truth and logic. I. Paradox and truth
- Weak systems of determinacy and arithmetical quasi-inductive definitions
- Self-referential propositions
- Comparing more revision and fixed-point theories of truth
- How truthlike can a predicate be? A negative result
- On meaningfulness and truth
- THE COPERNICAN MULTIVERSE OF SETS
- Boolean paradoxes and revision periods
- Revision without revision sequences: circular definitions
- PROVING UNPROVABILITY
- A theory of properties
- The elimination of direct self-reference
- Some notes on truths and comprehension
- What the Liar taught Achilles
- What paradoxes depend on
- Guest editors' introduction
- Conditionals in theories of truth
- Some observations on truth hierarchies
- Variations on a Montagovian theme
- Non-well-founded sets via revision rules
- Possible-worlds semantics for modal notions conceived as predicates
- A system of complete and consistent truth
- Axiomatizing semantic theories of truth?
- Meeting of the Association for Symbolic Logic, Stanford, California, 1985
- Rethinking revision
- Constructing a normal form for property theory
- Designing paradoxes: a revision-theoretic approach
- On the type-free paracoherent foundation of mathematics with the sedate extension of classical logic by the librationist set theory {\textsterling}, and specifically on why {\textsterling} is neither inconsistent nor contradictory nor paraconsistent
- Toward a theory of play: a logical perspective on games and interaction
- Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991
- Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
- Two types of deflationism
- Solovay-type theorems for circular definitions
- Periodicity and reflexivity in revision sequences
- Truth, logical validity and determinateness: a commentary on Field's \textit{Saving truth from paradox}
- A graph-theoretic analysis of the semantic paradoxes
- Limits in the revision theory. More than just definite verdicts
- Games for truth
- Dynamic semantics and circular propositions
- Feferman and the Truth
- On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
- Alternative revision theories of truth
- A new conditional for naive truth theory
- A disquotational theory of truth as strong as \(Z_2^-\)
- A UNIFIED THEORY OF TRUTH AND PARADOX
- ON THE PROBABILISTIC CONVENTION T
- The truth is never simple
- Instability and contraction. \textit{Méditations hégéliennes}. I
- Herzberger's limit rule with labelled sequent calculus
- Cofinally invariant sequences and revision
- Notes on \(\omega\)-inconsistent theories of truth in second-order languages
This page was built for publication: Notes on naive semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1050329)
