Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Automated reasoning for modal logics: a natural deduction based approach
File(s)
Author(s)
De La Quintana Bruggemann, Pablo Javier
Type
Thesis
Version
Open Access
Date Issued
1989
Date Awarded
1989
URI
Copyright Statement
Attribution NoDerivatives 4.0 International Licence (CC BY-ND)
License URL
Creator
De La Quintana Bruggemann, Pablo Javier
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
PhD