scientific article; zbMATH DE number 440488

MaRDI QIDQ3140645zbMATH OpenFDO

Authors Rineke Verbrugge

Publication date 28 November 1993

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)

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

Cited in

(6)

• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• Exhibiting interpretational and representational validity
• scientific article; zbMATH DE number 806756 (Why is no real title available?)
• TRUTH AND FEASIBLE REDUCIBILITY
• The principles of interpretability
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics

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)