18 months
Tuition fee
Apply date
Start date


The master's degree in Pure and Applied Logic, coordinated by the Universitat de Barcelona (UB) and with the Polytechnic University of Catalonia as a participant, provides a solid background in advanced logic, both pure and applied.


At this Pure and Applied Logic programme at the Polytechnic University of Catalonia the courses cover a wide variety of areas, from mathematical logic and applications to computer science, artificial intelligence and computational linguistics. In addition, two foundation courses are offered to students who require a basic introduction to logic or mathematics.

Professional opportunities

This master’s degree promotes the acquisition of skills required for a professional or academic career: creativity, analysis of complex situations, innovation, learning capabilities, research capabilities and strategic decision making. It also promotes other general skills and values such as effective communication, teamwork and professional ethics.

On completing the master’s degree, students will be qualified for:

  • Professional jobs requiring a high capacity for analysis of complex situations and strategic decision making.
  • An academic career and research in many of the central areas in the field of logic.


Generic competencies

Generic competencies are the skills that graduates acquire regardless of the specific course or field of study. The generic competencies established by the UPC are capacity for innovation and entrepreneurship, sustainability and social commitment, knowledge of a foreign language (preferably English), teamwork and proper use of information resources.

Specific skills
  • Carry out research and knowledge transfer in the professional sphere.
  • Initiate an academic career in the world of research, and particularly a doctoral course in logic at an international level.

Programme Structure

Courses include:

  • Basic Model Theory
  • Basic Set Theory
  • Computability
  • Mathematical Logic
  • Non-Classical Logics
  • Abstract Algebraic Logic
  • Advanced Model Theory
  • Algebraic Logic
  • Combinatorial Set Theory
  • Complexity
  • Many-Valued Logics
  • Modal Logic
  • Models of Set Theory
  • Order, Lattices and Boolean Algebras
  • Proof Theory, and Automated Theorem Proving
  • The Development of Formal Logic
  • Universal Algebra

Key information


  • Full-time
    • 18 months

Start dates & application deadlines






On Campus

Academic requirements

We are not aware of any academic requirements for this programme.

English requirements

We are not aware of any English requirements for this programme.

Student insurance

Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items, so make sure your student insurance ticks all the following:

  • Additional medical costs (i.e. dental)
  • Repatriation, if something happens to you or your family
  • Liability
  • Home contents and baggage
  • Accidents
  • Legal aid

We partnered with Aon to provide you with the best affordable student insurance, for a carefree experience away from home.

Get your student insurance now

Start from €0.53/day, free cancellation any time.

Remember, countries and universities may have specific insurance requirements. To learn more about how student insurance work at Polytechnic University of Catalonia and/or in Spain, please visit Student Insurance Portal.

Other requirements

General requirements

  • An interest in carrying out research in the field of logic.
  • An abstract analytical mind, and a capacity for rigorous, abstract reasoning. An example of this could be to have successfully completed courses in mathematics or formal logic at graduate or post-graduate level.
  • A genuine interest in most of the topics covered by the course curriculum.
  • A good level of spoken and written English, to follow explanations in class, write out solutions to exercises and draft the final project.
  • An official Spanish degree.
    • A degree issued by a higher education institution within the European Higher Education Area framework that authorizes the holder to access university master's degree courses in the country of issue.
    • A qualification from outside the framework of the European Higher Education Area. In this case, the qualification should be recognized as equivalent to an official Spanish degree. 

    Tuition Fee

    Living costs for Barcelona

    770 - 1360 EUR /month
    Living costs

    The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.


    Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.

    Our partners

    Pure and Applied Logic
    Polytechnic University of Catalonia


    Go to your profile page to get personalised recommendations!