Davide Emilio Quadrellaro

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Agent Oriented Programming Language

Intuitionistic Logic

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

Publications

Joni Puljujärvi, Davide Emilio Quadrellaro
Compactness in team semantics. Math. Log. Q. 70 (2) (2024)
Davide Emilio Quadrellaro
On intermediate inquisitive and dependence logics: An algebraic study. Ann. Pure Appl. Log. 173 (10) (2022)
Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro
An Algebraic Approach to Inquisitive and DNA-LOGICS. Rev. Symb. Log. 15 (4) (2022)
Gianluca Grilletti, Davide Emilio Quadrellaro
Lattices of Intermediate Theories via Ruitenburg's Theorem. TbiLLC (2019)