Gianluca Grilletti

According to our database, Gianluca Grilletti authored at least 16 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Complexity of the Model Checking problem for inquisitive propositional and modal logic.

Gianluca Grilletti, Ivano Ciardelli

CoRR, 2024

2023

Games and Cardinalities in Inquisitive First-Order Logic.

Gianluca Grilletti, Ivano Ciardelli

Rev. Symb. Log., March, 2023

2022

An Algebraic Approach to Inquisitive and DNA-LOGICS.

Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro

Rev. Symb. 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

Coherence in inquisitive first-order logic.

Ivano Ciardelli, Gianluca Grilletti

Ann. Pure Appl. Log., 2022

Medvedev logic is the logic of finite distributive lattices without top element.

Gianluca Grilletti

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.

Gianluca Grilletti

J. Log. Lang. Inf., 2021

2019

Disjunction and Existence Properties in Inquisitive First-Order Logic.

Gianluca Grilletti

Stud Logica, 2019

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality.

Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday

Proceedings of the Logic, Language, Information, and Computation, 2019

Lattices of Intermediate Theories via Ruitenburg's Theorem.

Gianluca Grilletti, Davide Emilio Quadrellaro

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

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

A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.

Fengkui Ju, Gianluca Grilletti, Valentin Goranko

Proceedings of the Advances in Modal Logic 12, 2018

2017

A Dynamic Solution to the Puzzle of Sea Battle.

Fengkui Ju, Gianluca Grilletti

CoRR, 2017

An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic.

Gianluca Grilletti, Ivano Ciardelli

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

A Dynamic Approach to Temporal Normative Logic.

Fengkui Ju, Gianluca Grilletti

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2015

An Experimental Spatio-Temporal Model Checker.

Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink

Proceedings of the Software Engineering and Formal Methods, 2015