Modal logics extend the scope of formal logic to include the elements of modality (for example, possibility and necessity).
様相論理は形式論理学の射程を拡張してモダリティの要素(例えば、論理的可能性や必要性)を包含するようにした。