( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Disjunction and Existence Properties in Inquisitive First-Order Logic.

. Stud Logica, 107 (6): 1199-1234 (2019)

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.

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

Gianluca Quintini

Gianluca Carlin

 

Другие публикации лиц с тем же именем

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