Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Marianna Girlando
Map detail
Marianna Girlando4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipMarianna GirlandoAMarianna GirlandoResearcherUniform labelled calculi for preferential conditional logics based on neighbourhood semanticsWUniform labelled calcul...preprint / 2020Cyclic Proofs, Hypersequents, and Transitive Closure LogicWCyclic Proofs, Hyperseq...preprint / 2022Internal and External Calculi: Ordering the Jungle without Being Lost in TranslationsWInternal and External C...preprint / 2025
Person3 links

Marianna Girlando

Researcher