'Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable' by Ian Pratt-Hartmann - new #openaccess paper in the latest issue of Mathematical Logic Quarterly @csmcr https://t.co/Pt5YLrWFvL
In three weeks it has been read/viewed 400 times. Joys of successful #OApublishing!
#openaccess #Hungary #populism #illiberalism entangled #nationalism @helsinkiuni @SocSciHelsinki https://t.co/HyG3uLJAQ7
@Research_Tim @BarbraStrident @caesoma @AcademicsSay @ElsevierConnect @ElsFoundation You might not know, but I've spent years working to advance #altmetrics, precisely for this reason. Now Elsevier has incorporated @PlumAnalytics into products. This helps change that dynamic.