Hybrid Intensional Logic

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

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

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/rapportKonferencebidrag i proceedingsForskningpeer 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. 201711 nov. 2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

University of Salamanca

Patrick Rowan Blackburn (Gæsteforsker)

9 nov. 201714 nov. 2017

Aktivitet: Besøger en ekstern institutionBesøger en ekstern, akademisk institution

Intensions and Indexicality

Patrick Rowan Blackburn (Oplægsholder)

11 nov. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag