Gianluca Grilletti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2015–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AiML | Medvedev logic is the logic of finite distributive lattices without top element. | Gianluca Grilletti |
| 2019 | WoLLIC | Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. | Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday |
| 2018 | AiML | A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. | Fengkui Ju, Gianluca Grilletti, Valentin Goranko |
| 2015 | SEFM | An Experimental Spatio-Temporal Model Checker. | Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink |