Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
3 links
Daniel Gaina
Researcher
PaperOmitting Types Theorem in hybrid-dynamic first-order logic with rigid symbolsAuthorship / preprint / 2022PaperRobinson consistency in many-sorted hybrid first-order logicsAuthorship / preprint / 2022PaperA modular bisimulation characterisation for fragments of hybrid logicAuthorship / preprint / 2023