×
Compute Distance To:
Author ID: santocanale.luigi Recent zbMATH articles by "Santocanale, Luigi"
Published as: Santocanale, Luigi; Santocanale, L.
Documents Indexed: 49 Publications since 2001
1 Contribution as Editor
Reviewing Activity: 2 Reviews
Co-Authors: 13 Co-Authors with 30 Joint Publications
274 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 139 times in 95 Documents Cited by Year
A calculus of circular proofs and its categorical semantics. Zbl 1077.03515
Santocanale, Luigi
16
2002
Free \(\mu\)-lattices. Zbl 0990.06004
Santocanale, Luigi
13
2002
Completeness for flat modal fixpoint logics. Zbl 1225.03020
Santocanale, Luigi; Venema, Yde
9
2010
Completions of \(\mu \)-algebras. Zbl 1146.03042
Santocanale, Luigi
9
2008
Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077
Santocanale, Luigi; Arnold, André
7
2005
Cuts for circular proofs: semantics and cut-elimination. Zbl 1356.03098
Fortier, Jérôme; Santocanale, Luigi
7
2013
Uniform interpolation for monotone modal logic. Zbl 1254.03039
Santocanale, Luigi; Venema, Yde
6
2010
\(\mu\)-bicomplete categories and parity games. Zbl 1024.18001
Santocanale, Luigi
6
2002
Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068
Ghilardi, Silvio; Santocanale, Luigi
6
2003
The alternation hierarchy for the theory of \(\mu\)-lattices. Zbl 0987.03057
Santocanale, Luigi
5
2001
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Zbl 1444.03173
Frittella, Sabine; Palmigiano, Alessandra; Santocanale, Luigi
5
2017
Sublattices of associahedra and permutohedra. Zbl 1288.06011
Santocanale, Luigi; Wehrung, Friedrich
4
2013
On the join dependency relation in multinomial lattices. Zbl 1129.06005
Santocanale, Luigi
4
2007
Lattices of regular closed subsets of closure spaces. Zbl 1404.06006
Santocanale, Luigi; Wehrung, Friedrich
4
2014
Fixed-point theory in the varieties \(\mathcal{D}_{n}\). Zbl 1405.06003
Frittella, Sabine; Santocanale, Luigi
3
2014
Undirected graphs of entanglement 2. Zbl 1135.68503
Belkhir, Walid; Santocanale, Luigi
3
2007
On the equational definition of the least prefixed point. Zbl 1045.68088
Santocanale, Luigi
3
2003
Varieties of lattices with geometric descriptions. Zbl 1294.06008
Santocanale, Luigi; Wehrung, Friedrich
3
2013
Relational lattices via duality. Zbl 1477.06015
Santocanale, Luigi
3
2016
Permutohedra and associahedra. Zbl 1401.06003
Caspard, N.; Santocanale, L.; Wehrung, F.
3
2016
A Nice labelling for tree-like event structures of degree 3. Zbl 1205.68249
Santocanale, Luigi
2
2010
Completeness for flat modal fixpoint logics. (Extended abstract). Zbl 1137.03317
Santocanale, Luigi; Venema, Yde
2
2007
Logical construction of final coalgebras. Zbl 1270.18013
Santocanale, Luigi
2
2003
On the equational definition of the least prefixed point. Zbl 0999.03026
Santocanale, Luigi
1
2001
Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095
Arnold, André; Santocanale, Luigi
1
2003
The extended permutohedron on a transitive binary relation. Zbl 1341.06007
Santocanale, Luigi; Wehrung, Friedrich
1
2014
The variable hierarchy for the games \(\mu \)-calculus. Zbl 1225.03028
Belkhir, Walid; Santocanale, Luigi
1
2010
On the word problem for \({\Sigma\Pi}\)-categories, and the properties of two-way communication (extended abstract). Zbl 1257.03070
Cockett, Robin; Santocanale, Luigi
1
2009
MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210
Gouveia, Maria João; Santocanale, Luigi
1
2018
The continuous weak order. Zbl 1446.18004
Gouveia, Maria João; Santocanale, Luigi
1
2021
Ruitenburg’s theorem via duality and bounded bisimulations. Zbl 1418.03191
Ghilardi, Silvio; Santocanale, Luigi
1
2018
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
\(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027
Gouveia, Maria João; Santocanale, Luigi
1
2019
The equational theory of the weak Bruhat order on finite symmetric groups. Zbl 1450.06001
Santocanale, Luigi; Wehrung, Friedrich
1
2018
Topological properties of event structures. Zbl 1339.68191
Santocanale, Luigi
1
2009
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
Generalizations of the permutohedron. Zbl 1426.06002
Santocanale, L.; Wehrung, F.
1
2016
The continuous weak order. Zbl 1446.18004
Gouveia, Maria João; Santocanale, Luigi
1
2021
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
\(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027
Gouveia, Maria João; Santocanale, Luigi
1
2019
MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210
Gouveia, Maria João; Santocanale, Luigi
1
2018
Ruitenburg’s theorem via duality and bounded bisimulations. Zbl 1418.03191
Ghilardi, Silvio; Santocanale, Luigi
1
2018
The equational theory of the weak Bruhat order on finite symmetric groups. Zbl 1450.06001
Santocanale, Luigi; Wehrung, Friedrich
1
2018
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Zbl 1444.03173
Frittella, Sabine; Palmigiano, Alessandra; Santocanale, Luigi
5
2017
Relational lattices via duality. Zbl 1477.06015
Santocanale, Luigi
3
2016
Permutohedra and associahedra. Zbl 1401.06003
Caspard, N.; Santocanale, L.; Wehrung, F.
3
2016
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
Generalizations of the permutohedron. Zbl 1426.06002
Santocanale, L.; Wehrung, F.
1
2016
Lattices of regular closed subsets of closure spaces. Zbl 1404.06006
Santocanale, Luigi; Wehrung, Friedrich
4
2014
Fixed-point theory in the varieties \(\mathcal{D}_{n}\). Zbl 1405.06003
Frittella, Sabine; Santocanale, Luigi
3
2014
The extended permutohedron on a transitive binary relation. Zbl 1341.06007
Santocanale, Luigi; Wehrung, Friedrich
1
2014
Cuts for circular proofs: semantics and cut-elimination. Zbl 1356.03098
Fortier, Jérôme; Santocanale, Luigi
7
2013
Sublattices of associahedra and permutohedra. Zbl 1288.06011
Santocanale, Luigi; Wehrung, Friedrich
4
2013
Varieties of lattices with geometric descriptions. Zbl 1294.06008
Santocanale, Luigi; Wehrung, Friedrich
3
2013
Completeness for flat modal fixpoint logics. Zbl 1225.03020
Santocanale, Luigi; Venema, Yde
9
2010
Uniform interpolation for monotone modal logic. Zbl 1254.03039
Santocanale, Luigi; Venema, Yde
6
2010
A Nice labelling for tree-like event structures of degree 3. Zbl 1205.68249
Santocanale, Luigi
2
2010
The variable hierarchy for the games \(\mu \)-calculus. Zbl 1225.03028
Belkhir, Walid; Santocanale, Luigi
1
2010
On the word problem for \({\Sigma\Pi}\)-categories, and the properties of two-way communication (extended abstract). Zbl 1257.03070
Cockett, Robin; Santocanale, Luigi
1
2009
Topological properties of event structures. Zbl 1339.68191
Santocanale, Luigi
1
2009
Completions of \(\mu \)-algebras. Zbl 1146.03042
Santocanale, Luigi
9
2008
On the join dependency relation in multinomial lattices. Zbl 1129.06005
Santocanale, Luigi
4
2007
Undirected graphs of entanglement 2. Zbl 1135.68503
Belkhir, Walid; Santocanale, Luigi
3
2007
Completeness for flat modal fixpoint logics. (Extended abstract). Zbl 1137.03317
Santocanale, Luigi; Venema, Yde
2
2007
Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077
Santocanale, Luigi; Arnold, André
7
2005
Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068
Ghilardi, Silvio; Santocanale, Luigi
6
2003
On the equational definition of the least prefixed point. Zbl 1045.68088
Santocanale, Luigi
3
2003
Logical construction of final coalgebras. Zbl 1270.18013
Santocanale, Luigi
2
2003
Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095
Arnold, André; Santocanale, Luigi
1
2003
A calculus of circular proofs and its categorical semantics. Zbl 1077.03515
Santocanale, Luigi
16
2002
Free \(\mu\)-lattices. Zbl 0990.06004
Santocanale, Luigi
13
2002
\(\mu\)-bicomplete categories and parity games. Zbl 1024.18001
Santocanale, Luigi
6
2002
The alternation hierarchy for the theory of \(\mu\)-lattices. Zbl 0987.03057
Santocanale, Luigi
5
2001
On the equational definition of the least prefixed point. Zbl 0999.03026
Santocanale, Luigi
1
2001
all top 5

Cited by 116 Authors

21 Santocanale, Luigi
6 Palmigiano, Alessandra
6 Venema, Yde
5 Ghilardi, Silvio
4 Bezhanishvili, Nick
4 Cockett, Robin
4 Conradie, Willem
3 Bílková, Marta
3 Gouveia, Maria João
3 Michalewski, Henryk
3 Riba, Colin
3 Skrzypczak, Michał
3 Studer, Thomas
3 Wehrung, Friedrich
2 Adaricheva, Kira Vladislavovna
2 Arnold, André
2 Belkhir, Walid
2 Berwanger, Dietmar
2 Das, Anupam
2 Enqvist, Sebastian
2 Ésik, Zoltán
2 Hodkinson, Ian Martin
2 Honsell, Furio
2 Jäger, Gerhard
2 Kupke, Clemens
2 Kurz, Alexander
2 Leal, Raul Andres
2 Lenisa, Marina
2 Redmond, Brian F.
2 Seifan, Fatemeh
2 Tzimoulis, Apostolos
2 Wijnberg, Nachoem M.
1 Andréka, Hajnal
1 Ardila, Federico
1 Baader, Franz
1 Bastidas, Hanner
1 Bruun, Hans
1 Burrell, Mike
1 Ceballos, Cesar
1 Chepoi, Victor D.
1 Clairambault, Pierre
1 Cohen, Liron
1 Coumans, Dion C. S.
1 Dagnino, Francesco
1 D’Agostino, Giovanna
1 De Groot, Jim
1 De Marchi, Federico
1 Defrain, Oscar
1 DeYoung, Henry
1 Facchini, Alessandro
1 Feng, Feng
1 Freese, Ralph S.
1 Frittella, Sabine
1 Gehrke, Mai
1 Grädel, Erich
1 Greco, Giuseppe
1 Guo, John
1 Hagen, Mark F.
1 Hidders, Jan
1 Iliev, Petar
1 Jaber, Guilhem
1 Jenkins, Christopher
1 Jun, Young Bae
1 Kaiser, Lukasz
1 Kozen, Dexter C.
1 Kretz, Mathis
1 Leiß, Hans
1 Lenczner, Michel
1 Litak, Tadeusz
1 Marti, Johannes
1 Matthes, Ralph
1 McConville, Thomas
1 Melliès, Paul-André
1 Mikulás, Szabolcs
1 Momigliano, Alberto
1 Mühle, Henri
1 Mundhenk, Martin
1 Murlak, Filip
1 Nation, James B.
1 Németi, István
1 Nguyen, Duc Duy
1 Niwiński, Damian
1 Nourine, Lhouari
1 Pattinson, Dirk
1 Pfenning, Frank
1 Piazzai, Michele
1 Pinto, Luís F.
1 Pouzet, Maurice
1 Rabinovich, Roman
1 Ratier, Nicolas
1 Reading, Nathan
1 Redamalla, Rekha
1 Savateev, Yury
1 Schneider, Thomas
1 Serre, Olivier
1 Shamkanov, Daniyar S.
1 Simpson, Alex K.
1 Spada, Luca
1 Speyer, David E.
1 Straßburger, Lutz
...and 16 more Authors

Citations by Year