Switch to: Citations

References in:

Logical equations and admissible rules of inference with parameters in modal provability logics

Studia Logica 49 (2):215 - 239 (1990)

Add references

You must login to add references.

Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 21 citations
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 61 citations
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.details Modal Logic in Logic and Philosophy of Logic Modal and Intensional Logic in Logic and Philosophy of Logic Direct download Export citation Bookmark 168 citations

1