scientific article; zbMATH DE number 1028815

From MaRDI portal

zbMath0875.03030MaRDI QIDQ4342078

Albert Visser

Publication date: 8 July 1997


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Dynamic semantics and circular propositions, Reflection algebras and conservation results for theories of iterated truth, Outline of an intensional theory of truth, Comparing fixed-point and revision theories of truth, Supervaluation-style truth without supervaluations, Truth and the liar in De Morgan-valued models, Arithmetic with satisfaction, Designing paradoxes: a revision-theoretic approach, Leśniewski's early Liar, Tarski and natural language, The elimination of self-reference: Generalized Yablo-series and the theory of truth, Remarks on the Gupta-Belnap fixed-point property fork-valued clones, SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS, Revision without revision sequences: circular definitions, Periodicity and reflexivity in revision sequences, A step towards absolute versions of metamathematical results, Varieties of self-reference in metamathematics, Modal frame correspondences and fixed-points, A UNIFIED THEORY OF TRUTH AND PARADOX, Revision without revision sequences: self-referential truth, Models for a paraconsistent set theory, REFERENCE IN ARITHMETIC, Possible-worlds semantics for modal notions conceived as predicates, What paradoxes depend on, Vagueness and blurry sets, Tarski on ``essentially richer metalanguages, Generalizing Montague's theorem on recursive definitions, On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent, Alethic reference, Reference and truth, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, ω-circularity of Yablo's paradox, Cofinally invariant sequences and revision, Contextual-hierarchical reconstructions of the strengthened liar problem