Modular sequent calculi for classical modal logics

David Gilbert, Paolo Maffezioli

OnderzoeksoutputAcademicpeer review

14 Citaten (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Modular sequent calculi for classical modal logics'. Samen vormen ze een unieke vingerafdruk.

Keyphrases

Computer Science