Hybrid Intensional Logic

Projekter: Projekt › Forskning

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. (red.). College Publications, Bind 11. s. 302-321 20 s.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

6 Citationer (Scopus)

Intensions and Indexicality
Blackburn, P. R. (Oplægsholder)
11 nov. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Research Workshop on Hybrid Intensional Logic
Blackburn, P. R. (Deltager)
10 nov. 2017 → 11 nov. 2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
University of Salamanca
Blackburn, P. R. (Gæsteforsker)
9 nov. 2017 → 14 nov. 2017
Aktivitet: Besøger en ekstern institution › Besøger en ekstern, akademisk institution

Projektdetaljer