( en | de | ru )

 

Disambiguation of "Grilletti, Gianluca"

Author of the publication

copydeleteadd this publication to your clipboard
Geometric Model Checking of Continuous Space.

, , , , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

Gianluca Quintini

Gianluca Carlin

 

Other publications of authors with the same name

Complexity of the Model Checking problem for inquisitive propositional and modal logic., and . CoRR, (2024)Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality., , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 35-52. Springer, (2019)Medvedev logic is the logic of finite distributive lattices without top element.. AiML, page 451-466. College Publications, (2022)A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle., , and . Advances in Modal Logic, page 407-426. College Publications, (2018)Lattices of Intermediate Theories via Ruitenburg's Theorem., and . TbiLLC, volume 13206 of Lecture Notes in Computer Science, page 297-322. Springer, (2019)Geometric Model Checking of Continuous Space., , , , , and . CoRR, (2021)An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic., and . TbiLLC, volume 11456 of Lecture Notes in Computer Science, page 166-186. Springer, (2017)A Dynamic Solution to the Puzzle of Sea Battle., and . CoRR, (2017)An Experimental Spatio-Temporal Model Checker., , , , and . SEFM Workshops, volume 9509 of Lecture Notes in Computer Science, page 297-311. Springer, (2015)A Dynamic Approach to Temporal Normative Logic., and . LORI, volume 10455 of Lecture Notes in Computer Science, page 512-525. Springer, (2017)