Get started
Author

Gianluca Grilletti

Observed names: GIANLUCA GRILLETTI, GRILLETTI, GIANLUCA, Grilletti G., Grilletti, G., Grilletti, Gianluca
ORCID: 0000-0002-1631-3648
Observed ORCID: 0000-0002-1631-3648
OpenAlex ID: A5007314744
Spatio-temporal model checking of vehicular movement in public transport systems
2018 · Vincenzo Ciancia, Stephen Gilmore, et al. · International Journal on Software Tools for Technology Transfer · 63
An Experimental Spatio-Temporal Model Checker
2015 · Vincenzo Ciancia, Gianluca Grilletti, et al. · Lecture notes in computer science · 44
Geometric Model Checking of Continuous Space
2022 · Nick Bezhanishvili, Vincenzo Ciancia, et al. · Logical Methods in Computer Science · 29
PDF
Disjunction and Existence Properties in Inquisitive First-Order Logic
2018 · Gianluca Grilletti · Studia Logica · 27
PDF
Coherence in inquisitive first-order logic
2022 · Ivano Ciardelli, Gianluca Grilletti · Annals of Pure and Applied Logic · 12
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
2021 · Gianluca Grilletti · Journal of Logic Language and Information · 12
PDF
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality
2019 · Nick Bezhanishvili, Gianluca Grilletti, et al. · Lecture notes in computer science · 11
An Algebraic Approach to Inquisitive and -logics
2021 · NICK BEZHANISHVILI, GIANLUCA GRILLETTI, et al. · The Review of Symbolic Logic · 8
PDF
Games and Cardinalities in Inquisitive First-order Logic
2021 · GIANLUCA GRILLETTI, IVANO CIARDELLI · The Review of Symbolic Logic · 8
Lattices of Intermediate Theories via Ruitenburg’s Theorem
2022 · Gianluca Grilletti, Davide Emilio Quadrellaro · Lecture notes in computer science · 6
PDF
Esakia duals of regular Heyting algebras
2023 · Gianluca Grilletti, Davide Emilio Quadrellaro · Algebra Universalis · 2
PDF
An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic
2019 · Gianluca Grilletti, Ivano Ciardelli · Lecture notes in computer science · 2
Correction to: Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality
2019 · Nick Bezhanishvili, Gianluca Grilletti, et al. · Lecture notes in computer science · 1
A logic for temporal conditionals and a solution to the Sea Battle Puzzle
2017 · Ju, Fengkui, Grilletti, Gianluca, et al. · arXiv (Cornell University) · 1
PDF
A Dynamic Approach to Temporal Normative Logic
2017 · Fengkui Ju, Gianluca Grilletti · Lecture notes in computer science · 1
Complexity of the Model Checking problem for inquisitive propositional and modal logic
2024 · Grilletti, Gianluca, Ciardelli, Ivano · arXiv (Cornell University)
PDF
Geometric Model Checking of Continuous Space
2021 · Bezhanishvili N., Ciancia V., et al. · ISTI Open Portal
On spatio-temporal model-checking of vehicular movement in public transport systems
2016 · Ciancia V., Gilmore S., et al. · ISTI Open Portal
A spatio-temporal model-checker
2014 · Ciancia V., Grilletti G., et al. · ISTI Open Portal
Works count: 22
Citation count: 227
H-index: 8
I10-index: 7
Year
Topic
Type