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
9 links
Lauri Hella
Researcher
PaperBounded game-theoretic semantics for modal mu-calculusAuthorship / preprint / 2020PaperThe size of a formula as a measure of complexityAuthorship / preprint / 2012PaperWeak Models of Distributed Computing, with Connections to Modal LogicAuthorship / preprint / 2013PaperOne-dimensional fragment of first-order logicAuthorship / preprint / 2014PaperThe Expressive Power of Modal Dependence LogicAuthorship / preprint / 2014PaperThe expressive power of modal logic with inclusion atomsAuthorship / preprint / 2015PaperThe Succinctness of First-order Logic over Modal Logic via a Formula Size GameAuthorship / preprint / 2016PaperInclusion Logic and Fixed Point LogicAuthorship / preprint / 2013