Hybrid Intensional Logic

Projekter: Projekt › Forskning

Projektdetaljer

Beskrivelse

Projekt baseret på midler fra MInisterio de Economía y Competitividad, Spanien.
AkronymLINHY
StatusIgangværende
Effektiv start/slut dato01/01/2015 → …
Se alle
Se færre

Publikationer

  • 1 Konferencebidrag i 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. (red.). College Publications, Bind 11. s. 302-321

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Aktiviteter

  • 1 Deltagelse i workshop, seminar og kursus
  • 1 Foredrag og mundtlige bidrag
  • 1 Besøger en ekstern, akademisk institution

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

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