Name Card

Full name Familienname, Vorname
Marin, Sonia
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (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
2Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 and its decidabilityPresentation Vortrag27-Sep-2023
3Girlando-2023-Intuitionistic S4 is decidable-am.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 is decidableInproceedings Konferenzbeitrag 2023
4Girlando-2023-Decidability of intuitionistic S4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Decidability of intuitionistic S4Inproceedings Konferenzbeitrag 2023
5Kuznets-2021-Journal of Applied Logics-vor.pdf.jpgKuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicArticle Artikel Sep-2021
6Kuznets, Roman ; Marin, Sonia ; Strassburger, Lutz Intuiting Duals of ProofsPräsentation Presentation2021
7Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicBericht Report2017