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
4 links
Agi Kurucz
Researcher
PaperUndecidable propositional bimodal logics and one-variable first-order linear temporal logics with countingAuthorship / preprint / 2015PaperA tetrachotomy of ontology-mediated queries with a covering axiomAuthorship / preprint / 2022PaperNon-finitely axiomatisable modal product logics with infinite canonical axiomatisationsAuthorship / preprint / 2020PaperThe decision problem of modal product logics with a diagonal, and faulty counter machinesAuthorship / preprint / 2015