Thesis supervisor: Zalán Gyenis
belső konzulens: László E.Szabó
Location of studies (in Hungarian): ELTE BTK Abbreviation of location of studies: ELTE
Description of the research topic:
There is a long tradition to apply algebraic and other formal methods when studying different problems in logics that arise in connection with various fields, e.g. mathematics, philosophy, linguistics, law, etc. The proposed project aims at studying universal algebraic logic and analyzing properties of various modal logics using the tools that this approach provides. We plan to put a slight emphasis on decidability questions in modal logics.
Required language skills: english Number of students who can be accepted: 1