Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts
 
Place of publishing Erscheinungsort
Bern
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 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