Interpretability logic IL does not have finite subtree property

MaRDI QIDQ2940164zbMATH OpenFDO

Authors Vedran Čačić, Mladen Vuković

Publication date 26 January 2015

Full work available at URL http://hrcak.srce.hr/file/188441

zbMATH Keywords

finite model propertyinterpretability logicVeltman models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Modal completeness of sublogics of the interpretability logic IL
• scientific article; zbMATH DE number 1735871
• Interpolation and the interpretability logic of PA
• A note on ultraproducts of Veltman models
• Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)

Cited in

(2)

• Countably many sublogics of the interpretability logicILhaving fixed point properties
• Selection method for interpretability logic \textsf{IL} with respect to Verbrugge semantics

This page was built for publication: Interpretability logic IL does not have finite subtree property

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