Τρόπος, στη λογική, η ταξινόμηση των λογικών προτάσεων σύμφωνα με τον ισχυρισμό τους ή την άρνηση της πιθανότητας, της αδυναμίας, της έκτακτης ανάγκης ή της αναγκαιότητας του περιεχομένου τους. Η λογική της Modal, η οποία μελετά τα λογικά χαρακτηριστικά τέτοιων εννοιών, που προέρχονται από τον Αριστοτέλη, μελετήθηκε εκτενώς από τους λογικούς στην αρχαιότητα και τον Ευρωπαϊκό Μεσαίωνα και, ως επί το πλείστον, παραμελήθηκε μετά την Αναγέννηση μέχρι να αναβιώσει στη σύγχρονη μαθηματική λογική. Η βασική δήλωση για αυτό το θέμα, που προϋποτίθεται στις περισσότερες σύγχρονες συζητήσεις, είναι από τους CI Lewis και Cooper Harold Langford στο Symbolic Logic (1932), το οποίο αναπτύσσει ένα τροπικό σύστημα «αυστηρής εμπλοκής» για την ερμηνεία της λογικής δύναμης του «εάν… τότε."