Dick de Jongh on intuitionistic and provability logics

DOI10.1007/978-3-031-47921-2MaRDI QIDQ6536038zbMATH OpenFDO

Authors

Publication date 20 March 2024

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

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)

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

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)