Mosaic Workshop 2023

View Statistics Email Alert RSS Feed

Description

Event name
Mosaic Workshop 2023
 
Event type
Event for scientific audience
 
Start date
26-09-2023
End date
29-09-2023
 
Location
Wien
Country
Austria
 
Organizing institution Veranstaltende Institution
RISE-MSCA
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Subject:  Intuitionistic modal logic

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 and its decidabilityPresentation Vortrag27-Sep-2023