様相論理学

様相論理学は、論理学の一分野として発展してきた。

授業では、様相論理学の基礎を学んだ。

様相論理学は、人工知能の研究にも応用されている。