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

Lecturer: Erdélyi-Szabó, Miklós

-

Event type: seminar

Organizer: Institute

-

Set Theory Seminar