Dick de Jongh on intuitionistic and provability logics

DOI10.1007/978-3-031-47921-2zbMATH Open1543.03023MaRDI QIDQ6536038FDOQ6536038

Authors:

Publication date: 20 March 2024

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1418447
• Constructive modalities with provability smack
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 5840915
• Handbook of philosophical logic. Vol. 5

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Dick de Jongh on intuitionistic and provability logics

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