A survey of abstract algebraic logic JM Font, R Jansana, D Pigozzi Studia Logica 74, 13-97, 2003 | 399 | 2003 |
A general algebraic semantics for sentential logics JM Font, R Jansana Cambridge University Press, 2017 | 350 | 2017 |
Weakly algebraizable logics J Czelakowski, R Jansana The Journal of Symbolic Logic 65 (2), 641-668, 2000 | 91 | 2000 |
Bounded distributive lattices with strict implication S Celani, R Jansana Mathematical Logic Quarterly 51 (3), 219-246, 2005 | 86 | 2005 |
A closer look at some subintuitionistic logics S Celani, R Jansana Notre Dame Journal of Formal Logic 42 (4), 225-255, 2001 | 80 | 2001 |
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic S Celani, R Jansana Logic Journal of IGPL 7 (6), 683-715, 1999 | 74 | 1999 |
Four-valued modal logic: Kripke semantics and duality U Rivieccio, A Jung, R Jansana Journal of Logic and Computation 27 (1), 155-199, 2017 | 59 | 2017 |
Some characterization theorems for infinitary universal Horn logic without equality P Dellunde, R Jansana The Journal of Symbolic Logic 61 (4), 1242-1260, 1996 | 54 | 1996 |
A new semantics for positive modal logic S Celani, R Jansana Notre Dame Journal of Formal Logic 38 (1), 1-18, 1997 | 52 | 1997 |
Priestley style duality for distributive meet-semilattices G Bezhanishvili, R Jansana Studia Logica 98, 83-122, 2011 | 50 | 2011 |
Selfextensional logics with a conjunction R Jansana Studia Logica 84, 63-104, 2006 | 47 | 2006 |
On elementary equivalence for equality-free logic E Casanovas, P Dellunde, R Jansana Notre Dame Journal of Formal Logic 37 (3), 506-522, 1996 | 44 | 1996 |
Una introducción a la lógica modal R Jansana Tecnos, 1990 | 42 | 1990 |
Δ1-completions of a poset M Gehrke, R Jansana, A Palmigiano Order 30 (1), 39-64, 2013 | 40 | 2013 |
Varieties of interlaced bilattices F Bou, R Jansana, U Rivieccio Algebra universalis 66 (1), 115, 2011 | 40 | 2011 |
Leibniz filters and the strong version of a protoalgebraic logic JM Font, R Jansana Archive for Mathematical Logic 40, 437-465, 2001 | 37 | 2001 |
Esakia style duality for implicative semilattices G Bezhanishvili, R Jansana Applied Categorical Structures 21, 181-208, 2013 | 36 | 2013 |
Some logics related to von Wright's logic of place R Jansana Notre Dame Journal of Formal Logic 35 (1), 88-98, 1994 | 31 | 1994 |
Fully adequate Gentzen systems and the deduction theorem F Josep Maria, R Jansana, D Pigozzi Reports on mathematical logic 35, 115-165, 2001 | 30 | 2001 |
Update to “A survey of abstract algebraic logic” JM Font, R Jansana, D Pigozzi Studia Logica 91, 125-130, 2009 | 26 | 2009 |