Hybrid Intensional Logic

Project: Research

Projekt baseret på midler fra MInisterio de Economía y Competitividad, Spanien.

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 20 p.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Intensions and Indexicality
Patrick Rowan Blackburn (Speaker)
11 Nov 2017
Activity: Talk or presentation › Lecture and oral contribution
Research Workshop on Hybrid Intensional Logic
Patrick Rowan Blackburn (Participant)
10 Nov 2017 → 11 Nov 2017
Activity: Participating in or organising an event › Participation in workshop, seminar, course
University of Salamanca
Patrick Rowan Blackburn (Visiting researcher)
9 Nov 2017 → 14 Nov 2017
Activity: Visiting an external institution › Visiting an external academic institution

Project Details