Modal Logic

Alias

INF-25-Ma-FTK-MoL

Credits

6

Starting semester

Winter semester

Responsible

Piribauer, Jakob Dr. rer. nat. <jakob.piribauer@tu-dresden.de>

Organisation

Chair of Algebraic and Logical Foundations of Computer Science

Languages

German or English

Erasmus

Master's degree

Status

Active

Module description

Deutsch · English