|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 5
Zeitschriftenartikel
Ciardelli, Ivano und Grilletti, Gianluca
(2022):
Coherence in inquisitive first-order logic.
In: Annals of Pure and Applied Logic, Bd. 173, Nr. 9, 103155
Grilletti, Gianluca
(2021):
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.
In: Journal of Logic, Language and Information, Bd. 30, Nr. 4: S. 725-751
[PDF, 560kB]
Bezhanishvili, Nick; Grilletti, Gianluca und Quadrellaro, Davide Emilio
(2021):
AN ALGEBRAIC APPROACH TO INQUISITIVE AND DNA-LOGICS.
In: Review of Symbolic Logic, Bd. 15, Nr. 4: S. 950-990
Grilletti, Gianluca
(2021):
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.
In: Journal of Logic Language and Information, Bd. 30, Nr. 4: S. 725-751
Konferenzbeitrag
Grilletti, Gianluca und Quadrellaro, Davide Emilio
(2022):
Lattices of Intermediate Theories via Ruitenburg’s Theorem.
13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019.
In: Language, Logic, and Computation. 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers, Lecture Notes in Computer Science
Bd. 13206
Cham: Springer. S. 297-322