Keywords: منطق ارائهدهنده; 03B25; 03F25; 03F30; 03F45Interpretability; Provability Logic; Second Incompleteness Theorem
مقالات ISI منطق ارائهدهنده (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق ارائهدهنده; 03F30; 03B42; 03F45; 03F40Knower Paradox; Explicit modal logic; Justification logic; Reflection principles; Provability logic
The omega-rule interpretation of transfinite provability logic
Keywords: منطق ارائهدهنده; 03F03; 03F45; 03B30; 03B45; Provability logic; Arithmetic interpretation; Iterated provability;
The Σ1-provability logic of HA
Keywords: منطق ارائهدهنده; 03F45; 03B45; 03F50; 03F55; Heyting Arithmetic; Intuitionistic logic; Modal Logic; Provability Logic;