Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles

Event name
Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles
 
Event type
Event for scientific audience
 
Start date
31-10-2023
End date
02-11-2023
 
Location
Bern
Country
Switzerland
 
Organizing institution Veranstaltende Institution
University of Bern
Event format Veranstaltungsformat
Hybrid

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Girlando-2023-A decision procedure for IS4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz A decision procedure for IS4Inproceedings Konferenzbeitrag 31-Oct-2023
2Kuznets-2023-Simplicial approaches to crashing agents-vor.pdf.jpgKuznets, Roman Simplicial approaches to crashing agentsInproceedings Konferenzbeitrag 31-Oct-2023