×

zbMATH — the first resource for mathematics

Ghilardi, Silvio

Compute Distance To:
Author ID: ghilardi.silvio Recent zbMATH articles by "Ghilardi, Silvio"
Published as: Ghilardi, Silvio; Ghilardi, S.
Documents Indexed: 97 Publications since 1985, including 3 Books

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 597 times in 307 Documents Cited by Year
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
57
1999
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
35
2000
Unification through projectivity. Zbl 0894.08004
Ghilardi, Silvio
23
1997
Model-theoretic methods in combined constraint satisfiability. Zbl 1069.03008
Ghilardi, Silvio
23
2004
An algebraic theory of normal forms. Zbl 0815.03010
Ghilardi, Silvio
19
1995
A sheaf representation and duality for finitely presented Heyting algebras. Zbl 0837.03047
Ghilardi, Silvio; Zawadowski, Marek
17
1995
Constructive canonicity in non-classical logics. Zbl 0949.03019
Ghilardi, Silvio; Meloni, Giancarlo
17
1997
Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008
Ghilardi, Silvio; Zawadowski, Marek
16
1995
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. Zbl 1036.03001
Ghilardi, Silvio; Zawadowski, Marek
16
2002
An algebraic approach to subframe logics. Intuitionistic case. Zbl 1123.03055
Bezhanishvili, Guram; Ghilardi, Silvio
16
2007
Unification, finite duality and projectivity in varieties of Heyting algebras. Zbl 1058.03020
Ghilardi, Silvio
14
2004
Unified correspondence. Zbl 1344.03023
Conradie, Willem; Ghilardi, Silvio; Palmigiano, Alessandra
14
2014
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
13
2011
MCMT: a model checker modulo theories. Zbl 1291.68257
Ghilardi, Silvio; Ranise, Silvio
13
2010
A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504
Ghilardi, Silvio
12
2002
Filtering unification and most general unifiers in modal logic. Zbl 1069.03011
Ghilardi, Silvio; Sacchetti, Lorenzo
11
2004
Modal and tense predicate logic: Models in presheaves and categorical conceptualization. Zbl 0657.03008
Ghilardi, S.; Meloni, G. C.
11
1988
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
Incompleteness results in Kripke semantics. Zbl 0745.03020
Ghilardi, Silvio
11
1991
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
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
10
2010
Towards SMT model checking of array-based systems. Zbl 1165.68406
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
9
2008
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
9
2012
Modal logics with \(n\)-ary connectives. Zbl 0729.03008
Ghilardi, S.; Meloni, G. C.
9
1990
Multiple-conclusion rules, hypersequents syntax and step frames. Zbl 1385.03016
Bezhanishvili, Nick; Ghilardi, Silvio
7
2014
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
7
2014
A comprehensive combination framework. Zbl 1407.03011
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
7
2008
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
Free Heyting algebras as bi-Heyting algebras. Zbl 0788.06012
Ghilardi, Silvio
6
1992
Model completions and r-Heyting categories. Zbl 0888.03024
Ghilardi, Silvio; Zawadowski, Marek
6
1997
From strong amalgamability to modularity of quantifier-free interpolation. Zbl 1358.68183
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
6
2012
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
6
2012
An algebraic approach to subframe logics. Modal case. Zbl 1246.03041
Bezhanishvili, Guram; Ghilardi, Silvio; Jibladze, Mamuka
6
2011
Combination methods for satisfiability and model-checking of infinite-state systems. Zbl 1213.68378
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
6
2007
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
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
Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068
Ghilardi, Silvio; Santocanale, Luigi
5
2003
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
5
2010
The bounded proof property via step algebras and step frames. Zbl 1361.03013
Bezhanishvili, Nick; Ghilardi, Silvio
5
2014
Counting constraints in flat array fragments. Zbl 06623254
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena
5
2016
Decision procedures for flat array properties. Zbl 1356.03049
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
5
2015
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
5
2006
Decision procedures for extensions of the theory of arrays. Zbl 1125.68115
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
5
2007
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
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
4
2014
A comprehensive framework for combined decision procedures. Zbl 1171.03306
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
4
2005
Quantifier-free interpolation of a theory of arrays. Zbl 1237.68123
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
4
2012
Quantifier elimination and provers integration. Zbl 1261.68100
Ghilardi, Silvio
4
2003
Interpolation, amalgamation and combination (the non-disjoint signatures case). Zbl 06821641
Ghilardi, Silvio; Gianola, Alessandro
3
2017
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
3
2013
Quantified extensions of canonical propositional intermediate logics. Zbl 0769.03012
Ghilardi, Silvio
3
1992
Free modal algebras revisited: the step-by-step method. Zbl 1350.03048
Bezhanishvili, Nick; Ghilardi, Silvio; Jibladze, Mamuka
3
2014
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
3
2006
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 1469.03092
Ghilardi, Silvio; Gianola, Alessandro
3
2018
Monadic second order logic as the model companion of temporal logic. Zbl 1394.03033
Ghilardi, Silvio; van Gool, Sam
2
2016
Irreducible models and definable embeddings. Zbl 0846.03033
Ghilardi, Silvio
2
1995
A model-theoretic characterization of monadic second order logic on infinite words. Zbl 1432.03047
Ghilardi, Silvio; van Gool, Samuel J.
2
2017
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
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
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
Cardinality constraints for arrays (decidability results and applications). Zbl 1377.68125
Alberti, F.; Ghilardi, S.; Pagani, E.
1
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
1
2017
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2019
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2019
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
Semantical aspects of quantified modal logic. Zbl 0827.03006
Corsi, Giovanna; Ghilardi, Silvio
1
1992
On covering relations in a model of filters of an intuitionistic propositional logic. Zbl 0598.03047
Ghilardi, Silvio; Meloni, Gian Carlo
1
1986
Relational and partial variable sets and basic predicate logic. Zbl 0860.03043
Ghilardi, Silvio; Meloni, Giancarlo
1
1996
Light-weight SMT-based model checking. Zbl 1335.68138
Ghilardi, Silvio; Ranise, Silvio; Valsecchi, Thomas
1
2009
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 06591817
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
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
Automated termination in model checking modulo theories. Zbl 1348.68124
Carioni, Alessandro; Ghilardi, Silvio; Ranise, Silvio
1
2011
Goal-directed invariant synthesis for model checking modulo theories. Zbl 1260.68230
Ghilardi, Silvio; Ranise, Silvio
1
2009
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2019
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2019
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 1469.03092
Ghilardi, Silvio; Gianola, Alessandro
3
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 06821641
Ghilardi, Silvio; Gianola, Alessandro
3
2017
A model-theoretic characterization of monadic second order logic on infinite words. Zbl 1432.03047
Ghilardi, Silvio; van Gool, Samuel J.
2
2017
Cardinality constraints for arrays (decidability results and applications). Zbl 1377.68125
Alberti, F.; Ghilardi, S.; Pagani, E.
1
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
1
2017
Counting constraints in flat array fragments. Zbl 06623254
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
2
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 06591817
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
5
2015
Unified correspondence. Zbl 1344.03023
Conradie, Willem; Ghilardi, Silvio; Palmigiano, Alessandra
14
2014
Multiple-conclusion rules, hypersequents syntax and step frames. Zbl 1385.03016
Bezhanishvili, Nick; Ghilardi, Silvio
7
2014
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
7
2014
The bounded proof property via step algebras and step frames. Zbl 1361.03013
Bezhanishvili, Nick; Ghilardi, Silvio
5
2014
Booster: an acceleration-based verification framework for array programs. Zbl 1448.68284
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
4
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
4
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
Bounded proofs and step frames. Zbl 1401.03043
Bezhanishvili, Nick; Ghilardi, Silvio
5
2013
Definability of accelerated relations in a theory of arrays and its applications. Zbl 1397.68121
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
3
2013
Lazy abstraction with interpolants for arrays. Zbl 1352.68141
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha
9
2012
From strong amalgamability to modularity of quantifier-free interpolation. Zbl 1358.68183
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
6
2012
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
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
Quantifier-free interpolation of a theory of arrays. Zbl 1237.68123
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
4
2012
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
13
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
13
2010
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
10
2010
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
5
2010
Light-weight SMT-based model checking. Zbl 1335.68138
Ghilardi, Silvio; Ranise, Silvio; Valsecchi, Thomas
1
2009
Goal-directed invariant synthesis for model checking modulo theories. Zbl 1260.68230
Ghilardi, Silvio; Ranise, Silvio
1
2009
Towards SMT model checking of array-based systems. Zbl 1165.68406
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
9
2008
A comprehensive combination framework. Zbl 1407.03011
Ghilardi, Silvio; Nicolini, Enrica; Zucchelli, Daniele
7
2008
An algebraic approach to subframe logics. Intuitionistic case. Zbl 1123.03055
Bezhanishvili, Guram; Ghilardi, Silvio
16
2007
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Combination methods for satisfiability and model-checking of infinite-state systems. Zbl 1213.68378
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
6
2007
Decision procedures for extensions of the theory of arrays. Zbl 1125.68115
Ghilardi, Silvio; Nicolini, Enrica; Ranise, Silvio; Zucchelli, Daniele
5
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.
5
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
3
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
4
2005
Model-theoretic methods in combined constraint satisfiability. Zbl 1069.03008
Ghilardi, Silvio
23
2004
Unification, finite duality and projectivity in varieties of Heyting algebras. Zbl 1058.03020
Ghilardi, Silvio
14
2004
Filtering unification and most general unifiers in modal logic. Zbl 1069.03011
Ghilardi, Silvio; Sacchetti, Lorenzo
11
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
Combining word problems through rewriting in categories with products. Zbl 1028.68070
Fiorentini, Camillo; Ghilardi, Silvio
5
2003
Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068
Ghilardi, Silvio; Santocanale, Luigi
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
16
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
35
2000
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
57
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
23
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
6
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
19
1995
A sheaf representation and duality for finitely presented Heyting algebras. Zbl 0837.03047
Ghilardi, Silvio; Zawadowski, Marek
17
1995
Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008
Ghilardi, Silvio; Zawadowski, Marek
16
1995
Irreducible models and definable embeddings. Zbl 0846.03033
Ghilardi, Silvio
2
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
3
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
11
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.
11
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 356 Authors

35 Ghilardi, Silvio
16 Bezhanishvili, Nick
14 Bezhanishvili, Guram
14 Iemhoff, Rosalie
13 Rybakov, Vladimir Vladimirovich
11 Palmigiano, Alessandra
10 Ringeissen, Christophe
9 Conradie, Willem J.
9 Ranise, Silvio
8 Baader, Franz
8 Tinelli, Cesare
7 Metcalfe, George
6 Bonacina, Maria Paola
6 Gehrke, Mai
6 Goudsmit, Jeroen P.
6 Wolter, Frank
5 Alberti, Francesco
5 D’Agostino, Giovanna
5 Lenzi, Giacomo
5 Nicolini, Enrica
5 Sofronie-Stokkermans, Viorica
5 Zakharyaschev, Michael Viktorovich
4 Balbiani, Philippe
4 Bruttomesso, Roberto
4 Gencer, Çigdem
4 Jeřábek, Emil
4 Rosenthal, Kimmo I.
4 Sharygina, Natasha
4 Suzuki, Tomoyuki
3 Cabrer, Leonardo Manuel
3 Chocron, Paula
3 Ciabattoni, Agata
3 Cimatti, Alessandro
3 Dzik, Wojciech
3 Echenim, Mnacho
3 Fontaine, Pascal
3 Gabelaia, David
3 Galatos, Nikolaos
3 Harding, John
3 Hoenicke, Jochen
3 Jibladze, Mamuka A.
3 Johansson, Moa
3 Konnov, Igor V.
3 Kontchakov, Roman
3 Lutz, Carsten
3 Marra, Vincenzo
3 Morawska, Barbara
3 Pagani, Elena
3 Rusinowitch, Michaël
3 Ryzhikov, Vladislav
3 Skvortsov, Dmitrij
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 Barrett, Clark W.
2 Borgwardt, Stefan
2 Carai, Luca
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 Fiorentini, Camillo
2 Frittella, Sabine
2 Fussner, Wesley
2 Gianola, Alessandro
2 Griggio, Alberto
2 Grigolia, Revaz
2 Hartonas, Chrysafis
2 Junker, Markus
2 Kishida, Kohei
2 Konev, Boris
2 Kowalski, Tomasz Marek
2 Kutz, Oliver
2 Lippmann, Marcel
2 Litak, Tadeusz
2 Lynch, Christopher A.
2 McMillan, Kenneth L.
2 Morandi, Patrick J.
2 Odintsov, Sergei P.
2 Peltier, Nicolas
2 Rasga, João
2 Rathjen, Michael
2 Reyes, Gonzalo E.
2 Santocanale, Luigi
2 Sernadas, Cristina S.
2 Sourabh, Sumit
2 Stronkowski, Michał Marek
2 Sun, Jiaguang
2 Tonetta, Stefano
2 Tran, Duc-Khanh
2 Tzimoulis, Apostolos
2 Veith, Helmut
...and 256 more Authors
all top 5

Cited in 55 Serials

36 Annals of Pure and Applied Logic
19 Studia Logica
19 Journal of Automated Reasoning
13 The Journal of Symbolic Logic
13 The Review of Symbolic Logic
10 Algebra Universalis
10 Notre Dame Journal of Formal Logic
10 Archive for Mathematical Logic
9 Theoretical Computer Science
9 Information and Computation
7 Journal of Philosophical Logic
7 Journal of Applied Non-Classical Logics
7 Logical Methods in Computer Science
6 The Bulletin of Symbolic Logic
5 Artificial Intelligence
5 Formal Methods in System Design
5 ACM Transactions on Computational Logic
4 MSCS. Mathematical Structures in Computer Science
3 Siberian Mathematical Journal
3 Journal of Symbolic Computation
3 Applied Categorical Structures
3 Journal of Logical and Algebraic Methods in Programming
2 Acta Informatica
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 Annals of Mathematics and Artificial Intelligence
2 Soft Computing
2 Journal of Applied Logic
2 Logica Universalis
1 Information Processing Letters
1 Algebra and Logic
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Computer and System Sciences
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 of Computing Systems
1 Lobachevskii Journal of Mathematics
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
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year