×
Compute Distance To:
Author ID: ghilardi.silvio Recent zbMATH articles by "Ghilardi, Silvio"
Published as: Ghilardi, Silvio; Ghilardi, S.

Publications by Year

Citations contained in zbMATH Open

85 Publications have been cited 759 times in 361 Documents Cited by Year
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
62
1999
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
40
2000
Unification through projectivity. Zbl 0894.08004
Ghilardi, Silvio
31
1997
Model-theoretic methods in combined constraint satisfiability. Zbl 1069.03008
Ghilardi, Silvio
30
2004
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. Zbl 1036.03001
Ghilardi, Silvio; Zawadowski, Marek
25
2002
An algebraic theory of normal forms. Zbl 0815.03010
Ghilardi, Silvio
24
1995
Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008
Ghilardi, Silvio; Zawadowski, Marek
23
1995
MCMT: a model checker modulo theories. Zbl 1291.68257
Ghilardi, Silvio; Ranise, Silvio
21
2010
A sheaf representation and duality for finitely presented Heyting algebras. Zbl 0837.03047
Ghilardi, Silvio; Zawadowski, Marek
20
1995
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
19
2011
An algebraic approach to subframe logics. Intuitionistic case. Zbl 1123.03055
Bezhanishvili, Guram; Ghilardi, Silvio
18
2007
Unified correspondence. Zbl 1344.03023
Conradie, Willem; Ghilardi, Silvio; Palmigiano, Alessandra
17
2014
Constructive canonicity in non-classical logics. Zbl 0949.03019
Ghilardi, Silvio; Meloni, Giancarlo
17
1997
Unification, finite duality and projectivity in varieties of Heyting algebras. Zbl 1058.03020
Ghilardi, Silvio
17
2004
Filtering unification and most general unifiers in modal logic. Zbl 1069.03011
Ghilardi, Silvio; Sacchetti, Lorenzo
14
2004
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
14
2010
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
13
2012
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
13
2014
Modal and tense predicate logic: Models in presheaves and categorical conceptualization. Zbl 0657.03008
Ghilardi, S.; Meloni, G. C.
13
1988
Incompleteness results in Kripke semantics. Zbl 0745.03020
Ghilardi, Silvio
12
1991
A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504
Ghilardi, Silvio
12
2002
Directed frames. Zbl 0689.03009
Corsi, Giovanna; Ghilardi, Silvio
11
1989
Presheaf semantics and independence results for some non-classical first- order logics. Zbl 0691.03013
Ghilardi, Silvio
11
1989
Towards SMT model checking of array-based systems. Zbl 1165.68406
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
11
2008
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures. Zbl 1222.03011
Bonacina, Maria Paola; Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
11
2006
Modal logics with \(n\)-ary connectives. Zbl 0729.03008
Ghilardi, S.; Meloni, G. C.
9
1990
Combination methods for satisfiability and model-checking of infinite-state systems. Zbl 1213.68378
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
9
2007
A comprehensive combination framework. Zbl 1407.03011
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
9
2008
Model completions and r-Heyting categories. Zbl 0888.03024
Ghilardi, Silvio; Zawadowski, Marek
9
1997
Interpolation, amalgamation and combination (the non-disjoint signatures case). Zbl 1495.03054
Ghilardi, Silvio; Gianola, Alessandro
8
2017
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 1469.03092
Ghilardi, Silvio; Gianola, Alessandro
8
2018
Quantifier-free interpolation of a theory of arrays. Zbl 1237.68123
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
8
2012
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
8
2014
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
7
2012
Multiple-conclusion rules, hypersequents syntax and step frames. Zbl 1385.03016
Bezhanishvili, Nick; Ghilardi, Silvio
7
2014
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Rewriting-based quantifier-free interpolation for a theory of arrays. Zbl 1236.68179
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
7
2011
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
6
2015
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
6
2014
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
6
2010
From strong amalgamability to modularity of quantifier-free interpolation. Zbl 1358.68183
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
6
2012
Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068
Ghilardi, Silvio; Santocanale, Luigi
6
2003
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
6
2006
Decision procedures for extensions of the theory of arrays. Zbl 1125.68115
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
6
2007
The bounded proof property via step algebras and step frames. Zbl 1361.03013
Bezhanishvili, Nick; Ghilardi, Silvio
6
2014
Free Heyting algebras as bi-Heyting algebras. Zbl 0788.06012
Ghilardi, Silvio
6
1992
An algebraic approach to subframe logics. Modal case. Zbl 1246.03041
Bezhanishvili, Guram; Ghilardi, Silvio; Jibladze, Mamuka
6
2011
Counting constraints in flat array fragments. Zbl 1475.68428
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
5
2016
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2013
Bounded proofs and step frames. Zbl 1401.03043
Bezhanishvili, Nick; Ghilardi, Silvio
5
2013
Combining word problems through rewriting in categories with products. Zbl 1028.68070
Fiorentini, Camillo; Ghilardi, Silvio
5
2003
A comprehensive framework for combined decision procedures. Zbl 1171.03306
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
5
2005
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1098.03048
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
5
2006
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
5
2012
Quantified extensions of canonical propositional intermediate logics. Zbl 0769.03012
Ghilardi, Silvio
4
1992
A model-theoretic characterization of monadic second order logic on infinite words. Zbl 1432.03047
Ghilardi, Silvio; van Gool, Samuel J.
4
2017
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
4
2020
Monadic second order logic as the model companion of temporal logic. Zbl 1394.03033
Ghilardi, Silvio; van Gool, Sam
4
2016
Quantifier elimination and provers integration. Zbl 1261.68100
Ghilardi, Silvio
4
2003
Free modal algebras revisited: the step-by-step method. Zbl 1350.03048
Bezhanishvili, Nick; Ghilardi, Silvio; Jibladze, Mamuka
3
2014
Cardinality constraints for arrays (decidability results and applications). Zbl 1377.68125
Alberti, F.; Ghilardi, S.; Pagani, E.
3
2017
Irreducible models and definable embeddings. Zbl 0846.03033
Ghilardi, Silvio
3
1995
One-step Heyting algebras and hypersequent calculi with the bounded proof property. Zbl 1444.03101
Bezhanishvili, Nick; Ghilardi, Silvio; Lauridsen, Frederik Möllerström
2
2017
Goal-directed invariant synthesis for model checking modulo theories. Zbl 1260.68230
Ghilardi, Silvio; Ranise, Silvio
2
2009
Noetherianity and combination problems. Zbl 1148.03010
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
2
2007
Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies. Zbl 1152.68519
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
2
2006
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1126.03302
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
2
2004
Light-weight SMT-based model checking. Zbl 1335.68138
Ghilardi, Silvio; Ranise, Silvio; Valsecchi, Thomas
2
2009
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints. Zbl 1348.68123
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
2
2011
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
Ruitenburg’s theorem via duality and bounded bisimulations. Zbl 1418.03191
Ghilardi, Silvio; Santocanale, Luigi
1
2018
On canonicity and strong completeness conditions in intermediate propositional logics. Zbl 0958.03017
Ghilardi, Silvio; Miglioli, Pierangelo
1
1999
Admissible bases via stable canonical rules. Zbl 1397.03016
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka
1
2016
On covering relations in a model of filters of an intuitionistic propositional logic. Zbl 0598.03047
Ghilardi, Silvio; Meloni, Gian Carlo
1
1986
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination. Zbl 1343.03013
Ghilardi, Silvio; Mints, Grigori
1
2014
Relational and partial variable sets and basic predicate logic. Zbl 0860.03043
Ghilardi, Silvio; Meloni, Giancarlo
1
1996
Automated termination in model checking modulo theories. Zbl 1348.68124
Carioni, Alessandro; Ghilardi, Silvio; Ranise, Silvio
1
2011
Semantical aspects of quantified modal logic. Zbl 0827.03006
Corsi, Giovanna; Ghilardi, Silvio
1
1992
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
Interpolation and amalgamation for arrays with MaxDiff. Zbl 07410429
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2021
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2022
Model completeness and \(\Pi_2\)-rules: the case of contact algebras. Zbl 07585710
Bezhanishvili, Nick; Ghilardi, Silvio; Landi, Lucia
1
2020
Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2022
Interpolation and amalgamation for arrays with MaxDiff. Zbl 07410429
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2021
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
4
2020
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
Model completeness and \(\Pi_2\)-rules: the case of contact algebras. Zbl 07585710
Bezhanishvili, Nick; Ghilardi, Silvio; Landi, Lucia
1
2020
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 1469.03092
Ghilardi, Silvio; Gianola, Alessandro
8
2018
Ruitenburg’s theorem via duality and bounded bisimulations. Zbl 1418.03191
Ghilardi, Silvio; Santocanale, Luigi
1
2018
Interpolation, amalgamation and combination (the non-disjoint signatures case). Zbl 1495.03054
Ghilardi, Silvio; Gianola, Alessandro
8
2017
A model-theoretic characterization of monadic second order logic on infinite words. Zbl 1432.03047
Ghilardi, Silvio; van Gool, Samuel J.
4
2017
Cardinality constraints for arrays (decidability results and applications). Zbl 1377.68125
Alberti, F.; Ghilardi, S.; Pagani, E.
3
2017
One-step Heyting algebras and hypersequent calculi with the bounded proof property. Zbl 1444.03101
Bezhanishvili, Nick; Ghilardi, Silvio; Lauridsen, Frederik Möllerström
2
2017
Counting constraints in flat array fragments. Zbl 1475.68428
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
5
2016
Monadic second order logic as the model companion of temporal logic. Zbl 1394.03033
Ghilardi, Silvio; van Gool, Sam
4
2016
Admissible bases via stable canonical rules. Zbl 1397.03016
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka
1
2016
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
6
2015
Unified correspondence. Zbl 1344.03023
Conradie, Willem; Ghilardi, Silvio; Palmigiano, Alessandra
17
2014
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
13
2014
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
8
2014
Multiple-conclusion rules, hypersequents syntax and step frames. Zbl 1385.03016
Bezhanishvili, Nick; Ghilardi, Silvio
7
2014
An extension of lazy abstraction with interpolation for programs with arrays. Zbl 1317.68107
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
6
2014
The bounded proof property via step algebras and step frames. Zbl 1361.03013
Bezhanishvili, Nick; Ghilardi, Silvio
6
2014
Free modal algebras revisited: the step-by-step method. Zbl 1350.03048
Bezhanishvili, Nick; Ghilardi, Silvio; Jibladze, Mamuka
3
2014
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination. Zbl 1343.03013
Ghilardi, Silvio; Mints, Grigori
1
2014
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2013
Bounded proofs and step frames. Zbl 1401.03043
Bezhanishvili, Nick; Ghilardi, Silvio
5
2013
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
13
2012
Quantifier-free interpolation of a theory of arrays. Zbl 1237.68123
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
8
2012
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
7
2012
From strong amalgamability to modularity of quantifier-free interpolation. Zbl 1358.68183
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
6
2012
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
5
2012
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
19
2011
Rewriting-based quantifier-free interpolation for a theory of arrays. Zbl 1236.68179
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
7
2011
An algebraic approach to subframe logics. Modal case. Zbl 1246.03041
Bezhanishvili, Guram; Ghilardi, Silvio; Jibladze, Mamuka
6
2011
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints. Zbl 1348.68123
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
2
2011
Automated termination in model checking modulo theories. Zbl 1348.68124
Carioni, Alessandro; Ghilardi, Silvio; Ranise, Silvio
1
2011
MCMT: a model checker modulo theories. Zbl 1291.68257
Ghilardi, Silvio; Ranise, Silvio
21
2010
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
14
2010
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
6
2010
Goal-directed invariant synthesis for model checking modulo theories. Zbl 1260.68230
Ghilardi, Silvio; Ranise, Silvio
2
2009
Light-weight SMT-based model checking. Zbl 1335.68138
Ghilardi, Silvio; Ranise, Silvio; Valsecchi, Thomas
2
2009
Towards SMT model checking of array-based systems. Zbl 1165.68406
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
11
2008
A comprehensive combination framework. Zbl 1407.03011
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
9
2008
An algebraic approach to subframe logics. Intuitionistic case. Zbl 1123.03055
Bezhanishvili, Guram; Ghilardi, Silvio
18
2007
Combination methods for satisfiability and model-checking of infinite-state systems. Zbl 1213.68378
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
9
2007
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Decision procedures for extensions of the theory of arrays. Zbl 1125.68115
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
6
2007
Noetherianity and combination problems. Zbl 1148.03010
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
2
2007
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures. Zbl 1222.03011
Bonacina, Maria Paola; Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
11
2006
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
6
2006
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1098.03048
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
5
2006
Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies. Zbl 1152.68519
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
2
2006
A comprehensive framework for combined decision procedures. Zbl 1171.03306
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
5
2005
Model-theoretic methods in combined constraint satisfiability. Zbl 1069.03008
Ghilardi, Silvio
30
2004
Unification, finite duality and projectivity in varieties of Heyting algebras. Zbl 1058.03020
Ghilardi, Silvio
17
2004
Filtering unification and most general unifiers in modal logic. Zbl 1069.03011
Ghilardi, Silvio; Sacchetti, Lorenzo
14
2004
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1126.03302
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
2
2004
Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068
Ghilardi, Silvio; Santocanale, Luigi
6
2003
Combining word problems through rewriting in categories with products. Zbl 1028.68070
Fiorentini, Camillo; Ghilardi, Silvio
5
2003
Quantifier elimination and provers integration. Zbl 1261.68100
Ghilardi, Silvio
4
2003
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. Zbl 1036.03001
Ghilardi, Silvio; Zawadowski, Marek
25
2002
A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504
Ghilardi, Silvio
12
2002
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
40
2000
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
62
1999
On canonicity and strong completeness conditions in intermediate propositional logics. Zbl 0958.03017
Ghilardi, Silvio; Miglioli, Pierangelo
1
1999
Unification through projectivity. Zbl 0894.08004
Ghilardi, Silvio
31
1997
Constructive canonicity in non-classical logics. Zbl 0949.03019
Ghilardi, Silvio; Meloni, Giancarlo
17
1997
Model completions and r-Heyting categories. Zbl 0888.03024
Ghilardi, Silvio; Zawadowski, Marek
9
1997
Relational and partial variable sets and basic predicate logic. Zbl 0860.03043
Ghilardi, Silvio; Meloni, Giancarlo
1
1996
An algebraic theory of normal forms. Zbl 0815.03010
Ghilardi, Silvio
24
1995
Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008
Ghilardi, Silvio; Zawadowski, Marek
23
1995
A sheaf representation and duality for finitely presented Heyting algebras. Zbl 0837.03047
Ghilardi, Silvio; Zawadowski, Marek
20
1995
Irreducible models and definable embeddings. Zbl 0846.03033
Ghilardi, Silvio
3
1995
Free Heyting algebras as bi-Heyting algebras. Zbl 0788.06012
Ghilardi, Silvio
6
1992
Quantified extensions of canonical propositional intermediate logics. Zbl 0769.03012
Ghilardi, Silvio
4
1992
Semantical aspects of quantified modal logic. Zbl 0827.03006
Corsi, Giovanna; Ghilardi, Silvio
1
1992
Incompleteness results in Kripke semantics. Zbl 0745.03020
Ghilardi, Silvio
12
1991
Modal logics with \(n\)-ary connectives. Zbl 0729.03008
Ghilardi, S.; Meloni, G. C.
9
1990
Directed frames. Zbl 0689.03009
Corsi, Giovanna; Ghilardi, Silvio
11
1989
Presheaf semantics and independence results for some non-classical first- order logics. Zbl 0691.03013
Ghilardi, Silvio
11
1989
Modal and tense predicate logic: Models in presheaves and categorical conceptualization. Zbl 0657.03008
Ghilardi, S.; Meloni, G. C.
13
1988
On covering relations in a model of filters of an intuitionistic propositional logic. Zbl 0598.03047
Ghilardi, Silvio; Meloni, Gian Carlo
1
1986
all top 5

Cited by 413 Authors

43 Ghilardi, Silvio
18 Bezhanishvili, Nick
16 Rybakov, Vladimir Vladimirovich
15 Bezhanishvili, Guram
15 Iemhoff, Rosalie
13 Palmigiano, Alessandra
10 Conradie, Willem
10 Ranise, Silvio
10 Ringeissen, Christophe
9 Sofronie-Stokkermans, Viorica
8 Baader, Franz
8 Gianola, Alessandro
8 Tinelli, Cesare
7 Bonacina, Maria Paola
7 Metcalfe, George
6 Gehrke, Mai
6 Goudsmit, Jeroen P.
6 Wolter, Frank
5 Alberti, Francesco
5 Balbiani, Philippe
5 Calvanese, Diego
5 Cimatti, Alessandro
5 D’Agostino, Giovanna
5 Dzik, Wojciech
5 Gencer, Çigdem
5 Griggio, Alberto
5 Lenzi, Giacomo
5 Montali, Marco
5 Nicolini, Enrica
5 Rivkin, Andrey
5 Zakharyaschev, Michael Viktorovich
4 Barrett, Clark W.
4 Bruttomesso, Roberto
4 Ciabattoni, Agata
4 Harding, John
4 Jeřábek, Emil
4 Rosenthal, Kimmo I.
4 Sharygina, Natasha
4 Suzuki, Tomoyuki
4 Tonetta, Stefano
4 Tzimoulis, Apostolos
3 Bashmakov, Stepan Igorevich
3 Cabrer, Leonardo Manuel
3 Carai, Luca
3 Chocron, Paula
3 Echenim, Mnacho
3 Fontaine, Pascal
3 Frittella, Sabine
3 Gabelaia, David
3 Galatos, Nikolaos
3 Hoenicke, Jochen
3 Jibladze, Mamuka A.
3 Johansson, Moa
3 Kishida, Kohei
3 Kontchakov, Roman
3 Lutz, Carsten
3 Marra, Vincenzo
3 Morawska, Barbara
3 Pagani, Elena
3 Rümmer, Philipp
3 Rusinowitch, Michaël
3 Ryzhikov, Vladislav
3 Skvortsov, Dmitrij
3 Stronkowski, Michał Marek
3 van Gool, Samuel Jacob
3 Widder, Josef
3 Zarba, Calogero G.
3 Zawadowski, Marek W.
2 Artale, Alessandro
2 Artemov, Sergei
2 Ávila, F.
2 Babenyshev, Sergey
2 Bodirsky, Manuel
2 Borgwardt, Stefan
2 Christ, Jürgen
2 Citkin, Alex
2 Corsi, Giovanna
2 Darnière, Luck
2 de Jongh, Dick H. J.
2 de Moura, Leonardo
2 Enqvist, Sebastian
2 Erné, Marcel
2 Fiorentini, Camillo
2 Fussner, Wesley
2 Greco, Giuseppe
2 Greiner, Johannes
2 Grigolia, Revaz
2 Hartonas, Chrysafis
2 Irfan, Ahmed
2 Jalali, Raheleh
2 Junker, Markus
2 Kapur, Deepak
2 Konev, Boris
2 Kowalski, Tomasz
2 Kuncak, Viktor
2 Kutz, Oliver
2 Lauridsen, Frederik Möllerström
2 Lippmann, Marcel
2 Litak, Tadeusz
2 Lynch, Christopher A.
...and 313 more Authors
all top 5

Cited in 59 Serials

38 Annals of Pure and Applied Logic
22 Journal of Automated Reasoning
20 Studia Logica
14 The Journal of Symbolic Logic
13 The Review of Symbolic Logic
12 Algebra Universalis
11 Notre Dame Journal of Formal Logic
11 Logical Methods in Computer Science
10 Information and Computation
10 Archive for Mathematical Logic
9 Theoretical Computer Science
8 Journal of Philosophical Logic
7 Journal of Applied Non-Classical Logics
6 MSCS. Mathematical Structures in Computer Science
6 Formal Methods in System Design
6 The Bulletin of Symbolic Logic
5 Artificial Intelligence
5 ACM Transactions on Computational Logic
4 Siberian Mathematical Journal
4 Journal of Logical and Algebraic Methods in Programming
3 Journal of Symbolic Computation
3 Applied Categorical Structures
3 Annals of Mathematics and Artificial Intelligence
3 Logica Universalis
3 Journal of Siberian Federal University. Mathematics & Physics
2 Acta Informatica
2 Algebra and Logic
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Information Sciences
2 Journal of Pure and Applied Algebra
2 Topology and its Applications
2 Order
2 Soft Computing
2 Journal of Applied Logic
1 Information Processing Letters
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Synthese
1 Bulletin of the Section of Logic
1 Science of Computer Programming
1 Indagationes Mathematicae. New Series
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Theory and Applications of Categories
1 Theory of Computing Systems
1 Lobachevskii Journal of Mathematics
1 Logic and Logical Philosophy
1 Acta Mathematica Scientia. Series B. (English Edition)
1 Computer Languages, Systems & Structures
1 Computational Intelligence
1 Journal of Multiple-Valued Logic and Soft Computing
1 Oberwolfach Reports
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Proceedings of the Steklov Institute of Mathematics
1 Mathematics in Computer Science
1 Axioms
1 Transactions of A. Razmadze Mathematical Institute

Citations by Year