Mark Reynolds Axiomatising first-order temporal logic: until and since over linear time. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:57, n:2/3, pp:279-302 [Journal]

Martin Amerbauer Cut-free tableau calculi for some propositional normal modal logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:57, n:2/3, pp:359-371 [Journal]

Matt Insall Hyperalgebraic primitive elements for relational algebraic and topological algebraic models. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:57, n:2/3, pp:409-418 [Journal]

Burghard Herrmann Characterizing equivalential and algebraizable logics by the Leibniz operator. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:57, n:2/3, pp:419-436 [Journal]

Andreja Prijatelj Bounded contraction and Gentzen-style formulation of Lukasiewicz logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1996, v:57, n:2/3, pp:437-456 [Journal]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP