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
(64)- Jump liars and Jourdain's card via the relativized T-scheme
- Two types of deflationism
- How truthlike can a predicate be? A negative result
- Some remarks on extending and interpreting theories with a partial predicate for truth
- What the Liar taught Achilles
- Dynamic semantics and circular propositions
- Non-well-founded sets via revision rules
- Boolean paradoxes and revision periods
- Self-referential propositions
- Possible-worlds semantics for modal notions conceived as predicates
- Alternative revision theories of truth
- A system of complete and consistent truth
- A new conditional for naive truth theory
- Revision without revision sequences: self-referential truth
- What paradoxes depend on
- Designing paradoxes: a revision-theoretic approach
- Herzberger's limit rule with labelled sequent calculus
- Comparing more revision and fixed-point theories of truth
- Toward a theory of play: a logical perspective on games and interaction
- Cofinally invariant sequences and revision
- Conditionals in theories of truth
- Limits in the revision theory. More than just definite verdicts
- Revision without revision sequences: circular definitions
- Rethinking revision
- Instability and contraction. \textit{Méditations hégéliennes}. I
- Variations on a Montagovian theme
- On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
- Some observations on truth hierarchies
- Weak systems of determinacy and arithmetical quasi-inductive definitions
- Truth, logical validity and determinateness: a commentary on Field's \textit{Saving truth from paradox}
- Solovay-type theorems for circular definitions
- Ultimate truth vis-à-vis stable truth
- ON THE PROBABILISTIC CONVENTION T
- Games for truth
- Meeting of the Association for Symbolic Logic, Stanford, California, 1985
- A theory of properties
- The truth is never simple
- Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991
- Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
- Construction of Truth Predicates: Approximation Versus Revision
- A graph-theoretic analysis of the semantic paradoxes
- Property theory and the revision theory of definitions
- A disquotational theory of truth as strong as \(Z_2^-\)
- THE COPERNICAN MULTIVERSE OF SETS
- Feferman and the Truth
- Constructing a normal form for property theory
- 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
- Axiomatizing semantic theories of truth?
- A UNIFIED THEORY OF TRUTH AND PARADOX
- Notes on -inconsistent theories of truth in second-order languages
- PROVING UNPROVABILITY
- Guest editors' introduction
- On meaningfulness and truth
- The elimination of direct self-reference
- The fixed points of belief and knowledge
- A genuinely untyped explanation of common belief and knowledge
- Reference digraphs of non-self-referential paradoxes
- Some notes on truths and comprehension
- From paradoxicality to paradox
- Absolute generality and revision theory
- Kripke's fixed points and Leitgeb's semantic dependence
- Paradox, truth and logic. I. Paradox and truth
- Four valued semantics and the Liar
- Periodicity and reflexivity in revision sequences
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)
