An Experimental Spatio-Temporal Model Checker. - Vincenzo Ciancia; Gianluca Grilletti; Diego Latella; Michele Loreti; Mieke Massink (SEFM Workshops, 2015)

A Dynamic Approach to Temporal Normative Logic. - Fengkui Ju; Gianluca Grilletti (LORI, 2017)

An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic. - Gianluca Grilletti; Ivano Ciardelli (TbiLLC, 2017)

A Dynamic Solution to the Puzzle of Sea Battle. - Fengkui Ju; Gianluca Grilletti (CoRR, 2017)

A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. - Fengkui Ju; Gianluca Grilletti; Valentin Goranko (Advances in Modal Logic, 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., 2018)

Lattices of Intermediate Theories via Ruitenburg's Theorem. - Gianluca Grilletti; Davide Emilio Quadrellaro (TbiLLC, 2019)

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. - Nick Bezhanishvili; Gianluca Grilletti; Wesley H. Holliday (WoLLIC, 2019)

Disjunction and Existence Properties in Inquisitive First-Order Logic. - Gianluca Grilletti (Stud Logica, 2019)

Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. - Gianluca Grilletti (J. Log. Lang. Inf., 2021)

Medvedev logic is the logic of finite distributive lattices without top element. - Gianluca Grilletti (AiML, 2022)

Coherence in inquisitive first-order logic. - Ivano Ciardelli; Gianluca Grilletti (Ann. Pure Appl. Log., 2022)

Geometric Model Checking of Continuous Space. - Nick Bezhanishvili; Vincenzo Ciancia; David Gabelaia; Gianluca Grilletti; Diego Latella; Mieke Massink (Log. Methods Comput. Sci., 2022)

An Algebraic Approach to Inquisitive and DNA-LOGICS. - Nick Bezhanishvili; Gianluca Grilletti; Davide Emilio Quadrellaro (Rev. Symb. Log., 2022)

Games and Cardinalities in Inquisitive First-Order Logic. - Gianluca Grilletti; Ivano Ciardelli (Rev. Symb. Log., 2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic. - Gianluca Grilletti; Ivano Ciardelli (CoRR, 2024)