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
6 links
Guillermo Badia
Researcher
PaperAxiomatization via translation: Hiz's warning for predicate logicAuthorship / preprint / 2022PaperFrame definability in finitely-valued modal logicsAuthorship / preprint / 2022PaperHow Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?Authorship / preprint / 2020PaperA modular bisimulation characterisation for fragments of hybrid logicAuthorship / preprint / 2023PaperOmitting Types Theorem in hybrid-dynamic first-order logic with rigid symbolsAuthorship / preprint / 2022PaperRobinson consistency in many-sorted hybrid first-order logicsAuthorship / preprint / 2022