( en | de | ru )

 

Disambiguierung von "Grilletti, Gianluca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.

, , und . Advances in Modal Logic, Seite 407-426. College Publications, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

Gianluca Quintini

Gianluca Carlin

 

Weitere Publikationen von Autoren mit dem selben Namen

Medvedev logic is the logic of finite distributive lattices without top element.. AiML, Seite 451-466. College Publications, (2022)Coherence in inquisitive first-order logic., und . Ann. Pure Appl. Log., 173 (9): 103155 (2022)Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality., , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 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., , und . Rev. Symb. Log., 15 (4): 950-990 (2022)Complexity of the Model Checking problem for inquisitive propositional and modal logic., und . CoRR, (2024)Disjunction and Existence Properties in Inquisitive First-Order Logic.. Stud Logica, 107 (6): 1199-1234 (2019)Geometric Model Checking of Continuous Space., , , , , und . Log. Methods Comput. Sci., (2022)A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle., , und . Advances in Modal Logic, Seite 407-426. College Publications, (2018)Lattices of Intermediate Theories via Ruitenburg's Theorem., und . TbiLLC, Volume 13206 von Lecture Notes in Computer Science, Seite 297-322. Springer, (2019)