( en | de | ru )

 

Disambiguation of "Grilletti, Gianluca"

Author of the publication

copydeleteadd this publication to your clipboard
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.

, , and . Advances in Modal Logic, page 407-426. College Publications, (2018)

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

Medvedev logic is the logic of finite distributive lattices without top element.. AiML, page 451-466. College Publications, (2022)Coherence in inquisitive first-order logic., and . Ann. Pure Appl. Log., 173 (9): 103155 (2022)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)Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.. J. Log. Lang. Inf., 30 (4): 725-751 (2021)An Algebraic Approach to Inquisitive and DNA-LOGICS., , and . Rev. Symb. Log., 15 (4): 950-990 (2022)Complexity of the Model Checking problem for inquisitive propositional and modal logic., and . CoRR, (2024)Disjunction and Existence Properties in Inquisitive First-Order Logic.. Stud Logica, 107 (6): 1199-1234 (2019)Geometric Model Checking of Continuous Space., , , , , and . Log. Methods Comput. Sci., (2022)Lattices of Intermediate Theories via Ruitenburg's Theorem., and . TbiLLC, volume 13206 of Lecture Notes in Computer Science, page 297-322. Springer, (2019)A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle., , and . Advances in Modal Logic, page 407-426. College Publications, (2018)