Salvatore Cirami concentra le proprie ricerche, svolte durante il corso di licenza in Filosofia presso la Pontificia Università Lateranense, prevalentemente sul pensiero filosofico della scolastica medievale e sugli sviluppi contemporanei delle logiche modali e intensionali. In particolare, si interessa allo studio della logica e della metafisica di Tommaso d’Aquino e Giovanni Duns Scoto e alla possibilità di formalizzare alcune nozioni chiave del loro pensiero nell’attuale contesto dell’ontologia formale.