Proof-theoretic and algebraic aspects of (intuitionistic) modal logics

Event name
Proof-theoretic and algebraic aspects of (intuitionistic) modal logics
 
Event type
Event for scientific audience
 
Start date
01-11-2022
End date
01-11-2022
 
Location
Utrecht
Country
Netherlands
 
Conference Track
Single Track
Organizing institution Veranstaltende Institution
Utrecht University
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Nested Sequents, Kripke Models, and Uniform InterpolationPresentation Vortrag1-Nov-2022