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
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

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

Projektdetaljer