论文信息 - Decidability of interpretability logics ILM0 and ILW - 字舞流文

Decidability of interpretability logics ILM0 and ILW

Tin Perkov | Mladen Vukovic | Luka Mikec | Mladen Vukovic | Luka Mikec | Tin Perkov

[1] Joost J. Joosten,et al. A new principle in the interpretability logic of all reasonable arithmetical theories , 2011, Log. J. IGPL.

[2] J. Joosten,et al. Two series of formalized interpretability principles for weak systems of arithmetic , 2015, 1503.09130.

[3] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[4] Mladen Vukovic,et al. Bisimulations between generalized Veltman models and Veltman models , 2008, Math. Log. Q..

[5] D.H.J. de Jongh,et al. The logic of the provability , 1998 .

[6] Joost J. Joosten,et al. Modal matters in interpretability logics , 2004 .

[7] Petr Hájek,et al. On interpretability in theories containing arithmetic , 1972 .

[8] Tin Perkov,et al. Filtrations of generalized Veltman models , 2016, Math. Log. Q..

[9] V. Svejdar,et al. Some independence results in interpretability logic , 1991, Stud Logica.

[10] Mladen Vukovic,et al. Bisimulations and bisimulation quotients of generalized Veltman models , 2010, Log. J. IGPL.

[11] Mladen Vukovic,et al. The Principles of Interpretability , 1999, Notre Dame J. Formal Log..

[12] Vítezslav Svejdar. Modal Analysis of Generalized Rosser Sentences , 1983, J. Symb. Log..

[13] Albert Visser,et al. Concepts of Reduction in Logic and Philosophy || The Interpretability Logic of All Reasonable Arithmetical Theories: The New Conjecture , 1999 .