Logic List Mailing Archive

PhD student position in modal fixpoint logics, Amsterdam (The Netherlands), Deadline: 7 Jun 2021

ILLC
Universiteit van Amsterdam

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 for 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 
or contact Yde Venema at y.venema@uva.nl<mailto:y.venema@uva.nl>, or 
Bahareh Afshari at b.afshari@uva.nl<mailto:b.afshari@uva.nl>.

The deadline 
for applications is Monday 7 June; the preferred starting date is 1 
September 2021.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam