[TYPES/announce] PhD position in Derivation Systems for Modal Fixpoint Logics

[Bahareh Afshari]

We are looking for a PhD candidate for a research project Derivation Systems for Modal Fixpoint Logics.

Many applications of modal logic, in particular in computer science, require the formalism to deal with various kinds of recursion. Modal fixpoint logics are  extensions of basic modal logic that deal with the concept of recursion in an elegant and fundamental way by adding operators or connectives that can express
recursive statements. Whereas semantic and computational aspects of these logics are by now reasonably well understood, the theory of proof systems for  modal fixpoint logics has remained relatively underdeveloped.

The aim of the Derivation Systems for Modal Fixpoint Logics project is to develop a general and uniform theory of proof systems for modal fixpoint logics. Such a
theory will extend that of basic modal logics with proof systems that allow fo derivations that are circular or feature other mechanisms for dealing with the recursive nature of fixpoints. The envisaged methodology for designing and studying such proof systems will integrate insights from proof theory with ideas from the theories of automata, infinite games, and (co-)algebra.

The research project Derivation Systems for Modal Fixpoint Logics was awarded to Prof.Dr. Yde Venema by the Netherlands Organisation for Scientific Research (NWO) in the ENW TOP grant programme. It is part of a larger project on proof systems for modal fixpoint logics, directed by Venema together with Dr. Bahareh Afshari.

For more details and information on the application procedure, see

https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/12740/PhD-in-Proof-Systems-for-Modal-Fixpoint-Logics <https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/12740/PhD-in-Proof-Systems-for-Modal-Fixpoint-Logics>

or contact Yde Venema at y.venema at uva.nl, or Bahareh Afshari at b.afshari at uva.nl.

The deadline for applications is Monday 7 June; the preferred starting date is 1 September 2021.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210516/e1ad9ab5/attachment-0001.htm>