Skip to main navigation
Skip to search
Skip to main content
Roskilde University Research Portal Home
Dansk
English
Search content at Roskilde University Research Portal
Home
Profiles
Research units
Research output
Projects
Activities
Press/Media
Datasets
Prizes
Invited talk: Travelling with Hybrid Logic: From the Philosophy of Time to Technical Proof-Theory
Braüner, T.
(Speaker)
Department of People and Technology
Programming, Logic and Intelligent Systems
Activity
:
Talk or presentation
›
Lecture and oral contribution
Period
28 Oct 2025
→
29 Oct 2025
Event title
Logic and the Branches of Argumentation
Event type
Workshop
Location
Bratislava, Slovakia
Show on map
Degree of Recognition
International
X