Gianluca Grilletti

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 16

Top Topics

Quantifier Free

Inference Rules

Top Venues

Rev. Symb. Log.

Publications

Gianluca Grilletti, Ivano Ciardelli
Complexity of the Model Checking problem for inquisitive propositional and modal logic. CoRR (2024)
Gianluca Grilletti, Ivano Ciardelli
Games and Cardinalities in Inquisitive First-Order Logic. Rev. Symb. Log. 16 (1) (2023)
Gianluca Grilletti
Medvedev logic is the logic of finite distributive lattices without top element. AiML (2022)
Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro
An Algebraic Approach to Inquisitive and DNA-LOGICS. Rev. Symb. Log. 15 (4) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18 (4) (2022)
Ivano Ciardelli, Gianluca Grilletti
Coherence in inquisitive first-order logic. Ann. Pure Appl. Log. 173 (9) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. CoRR (2021)
Gianluca Grilletti
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. J. Log. Lang. Inf. 30 (4) (2021)
Gianluca Grilletti, Davide Emilio Quadrellaro
Lattices of Intermediate Theories via Ruitenburg's Theorem. TbiLLC (2019)
Gianluca Grilletti
Disjunction and Existence Properties in Inquisitive First-Order Logic. Stud Logica 107 (6) (2019)
Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC (2019)
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Advances in Modal Logic (2018)
Fengkui Ju, Gianluca Grilletti
A Dynamic Solution to the Puzzle of Sea Battle. CoRR (2017)
Fengkui Ju, Gianluca Grilletti
A Dynamic Approach to Temporal Normative Logic. LORI (2017)
Gianluca Grilletti, Ivano Ciardelli
An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic. TbiLLC (2017)
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
An Experimental Spatio-Temporal Model Checker. SEFM Workshops (2015)