Publication:1176098

DOI10.1007/BF00370389zbMATH Open0744.03023MaRDI QIDQ1176098FDOQ1176098

Albert Visser

Publication date: 25 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

conservationmodal logicfragments of arithmeticHenkin constructioninterpretability in weak theoriesInterpretability Logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the scheme of induction for bounded arithmetic formulas
• Arithmetization of metamathematics in a general setting
• Cuts, consistency statements and interpretations
• Existence and feasibility in arithmetic
• Modal analysis of generalized rosser sentences
• The interpretability logic of Peano arithmetic
• Bounded arithmetic and truth definition
• Partially Conservative Extensions of Arithmetic
• On Partially Conservative Sentences and Interpretability
• Some Prime Elements in the Lattice of Interpretability Types
• Relative Interpretations
• On certain lattices of degrees of interpretability
• A note on the undefinability of cuts
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic

Cited In (18)

• Theory and application of labelling techniques for interpretability logics
• A note on typed truth and consistency assertions
• The Interpretation Existence Lemma
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• The principles of interpretability
• Rules and arithmetics
• Faith \& falsity
• EQUIVALENCES FOR TRUTH PREDICATES
• More on Systems of Truth and Predicative Comprehension
• CONSISTENCY AND THE THEORY OF TRUTH
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• The predicative Frege hierarchy
• The arithmetics of a theory
• On bimodal logics of provability
• Title not available (Why is that?)
• Iterated local reflection versus iterated consistency
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)

This page was built for publication: The formalization of interpretability

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