Name Card

Full name Familienname, Vorname
Kawakami Pacheco, Leonardo
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kawakami Pacheco, Leonardo Epistemic possibility in intuitionistic epistemic logicPresentation Vortrag11-Dec-2023
2Kawakami Pacheco, Leonardo Game Semantics for the Constructive mu-calculusPresentation Vortrag16-Nov-2023
3Kawakami Pacheco, Leonardo Towards a characterization of the μ-calculus' collapse to modal logicPresentation Vortrag10-Nov-2023
4Kawakami Pacheco, Leonardo The reverse mathematics of ω-automataPresentation Vortrag9-Sep-2023
5Kawakami Pacheco, Leonardo The µ-calculus’ collapse on variations of S5Inproceedings Konferenzbeitrag6-Jun-2023