Titlebook: Dick de Jongh on Intuitionistic and Provability Logics; Nick Bezhanishvili,Rosalie Iemhoff,Fan Yang Book 2024 The Editor(s) (if applicable

reperfusion

換話(huà)題

減去

Outstanding Contributions to Logichttp://image.papertrans.cn/e/image/284621.jpg

想象

放大

In this brief note, I discuss some general backgrounds of the well-known Fixed-Point Theorem for Provability Logic, taking my cues from an elegant abstract argument by Dick de Jongh in the 1980s.

不知疲倦

Hypothetische S?tze und SchlüsseThe unification problem in a modal logic is to determine whether given formulas have instances belonging to this modal logic. In this paper, we survey some known results about the unification types of modal logics.

Platelet

Notes on My Scientific Life,This is the autobiography of Dick de Jongh.

情感

bronchiole

ATOPY

https://doi.org/10.1007/1-4020-3986-7 formulas whose principal connective is the intuitionistic Lewis arrow .. Our main motivation comes from metatheory of constructive arithmetic, but the systems in question allow several natural kinds of semantics. The first of these methods, inspired by de Jongh and Visser, turns out to yield a moda