A proof-theoretic study of the correspondence of hybrid logic and classical logic

Arts & Humanities

• Hybrid Logic 100%
• Classical Logic 73%
• Labelled Deduction 32%
• Equivalence 31%
• Predicate Logic 20%
• Modal Logic 17%
• Equality 16%
• Substitution 14%

Social Sciences

• logic 72%
• equivalence 33%
• deduction 19%
• substitution 17%
• Group 14%
• equality 13%

Engineering & Materials Science

• Substitution reactions 64%