EDBT 2026 Demo / reviewers in the wild / expert
Gianluca Grilletti
dblp:174/0760
· DBLP profile ↗
6ranked-venue papers
1as first author
3since 2021 · last 2022
0000-0002-1631-3648ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Medvedev logic is the logic of finite distributive lattices without top element
Gianluca Grilletti |
AiML | 1 |
| 2022 | Coherence in inquisitive first-order logic
Ivano Ciardelli, Gianluca Grilletti |
Ann. Pure Appl. Log. | 2 |
| 2022 | Geometric Model Checking of Continuous SpaceabstractTopological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can be used for expressing interesting spatial properties, such as "being near to" or "being surrounded by". SLCS constitutes the kernel of a solid logical framework for reasoning about discrete space, such as graphs and digital images, interpreted as quasi discrete closure spaces. Following a recently developed geometric semantics of Modal Logic, we propose an interpretation of SLCS in continuous space, admitting a geometric spatial model checking procedure, by resorting to models based on polyhedra. Such representations of space are increasingly relevant in many domains of application, due to recent developments of 3D scanning and visualisation techniques that exploit mesh processing. We introduce PolyLogicA, a geometric spatial model checker for SLCS formulas on polyhedra and demonstrate feasibility of our approach on two 3D polyhedral models of realistic size. Finally, we introduce a geometric definition of bisimilarity, proving that it characterises logical equivalence. Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink |
Log. Methods Comput. Sci. | 4 |
| 2019 | Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality
Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday |
WoLLIC | 2 |
| 2018 | A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle
Fengkui Ju, Gianluca Grilletti, Valentin Goranko |
Advances in Modal Logic | 2 |
| 2018 | Spatio-temporal model checking of vehicular movement in public transport systems
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink |
Int. J. Softw. Tools Technol. Transf. | 3 |