ENHermeneutics (/hɛrməˈnuːtɪks/ or /hɛrməˈnjuːtɪks/) is the theory and methodology of interpretation, especially the interpretation of biblical texts, wisdom l...
ENInterpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related metamathematical prop...