Miklós Erdélyi-Szabó: Is the multimodal logic of commuting S4 operators decidable?

2025. 10. 16. 10:00 - 2025. 10. 16. 12:00

Nagyterem

-

Set theory, logic, and topology

Előadó neve: Erdélyi-Szabó, Miklós

-

Esemény típusa: szeminárium

Szervezés: Intézeti

-

Set Theory Seminar