Hybrid Intensional Logic

Project: Research

Project Details

Description

Projekt baseret på midler fra MInisterio de Economía y Competitividad, Spanien.
AcronymLINHY
StatusActive
Effective start/end date01/01/2015 → …

Research Output

  • 1 Article in proceedings

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. p. 302-321

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Activities

  • 1 Participation in workshop, seminar, course
  • 1 Lecture and oral contribution
  • 1 Visiting an external academic institution

Research Workshop on Hybrid Intensional Logic

Patrick Rowan Blackburn (Participant)

10 Nov 201711 Nov 2017

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

University of Salamanca

Patrick Rowan Blackburn (Visiting researcher)

9 Nov 201714 Nov 2017

Activity: Visiting an external institutionVisiting an external academic institution

Intensions and Indexicality

Patrick Rowan Blackburn (Speaker)

11 Nov 2017

Activity: Talk or presentationLecture and oral contribution