scientific article; zbMATH DE number 440488

zbMATH Open0799.03068MaRDI QIDQ3140645FDOQ3140645

Authors: Rineke Verbrugge 

Publication date: 28 November 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 806756
• scientific article; zbMATH DE number 1215477
• The formalization of interpretability
• Interpolation and the interpretability logic of PA
• The principles of interpretability

zbMATH Keywords

bimodal interpretability logic ILMfeasible interpretabilitypolynomial version of Orey's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Cited In (5)

• TRUTH AND FEASIBLE REDUCIBILITY
• The principles of interpretability
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Exhibiting interpretational and representational validity
• Title not available (Why is that?)

This page was built for publication:

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