most citedInterpretable Structured Learning with Sparse Gated Sequence Encoder for Protein-Protein Interaction Prediction

4 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022

A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic

Rui Li, Francesco Belardinelli

The language of modal logic is capable of expressing first-order conditions on Kripke frames. The classic result by Henrik Sahlqvist identifies a significant class of modal formula…