Gianluca Grilletti

17 papers B 2C 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Complexity of the Model Checking problem for inquisitive propositional and modal logic.
CoRR
Gianluca Grilletti, Ivano Ciardelli
2023 J jnl
Games and Cardinalities in Inquisitive First-Order Logic.
Rev. Symb. Log.
Gianluca Grilletti, Ivano Ciardelli
2022 J jnl
An Algebraic Approach to Inquisitive and DNA-LOGICS.
Rev. Symb. Log.
Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro
2022 J jnl
Coherence in inquisitive first-order logic.
Ann. Pure Appl. Log.
Ivano Ciardelli, Gianluca Grilletti
2022 J jnl
Geometric Model Checking of Continuous Space.
Log. Methods Comput. Sci.
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2022 B conf
Medvedev logic is the logic of finite distributive lattices without top element.
AiML
Gianluca Grilletti
2021 J jnl
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.
J. Log. Lang. Inf.
Gianluca Grilletti
2021 J jnl
Geometric Model Checking of Continuous Space.
CoRR
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2019 C conf
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality.
WoLLIC
Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
2019 J jnl
Disjunction and Existence Properties in Inquisitive First-Order Logic.
Stud Logica
Gianluca Grilletti
2019 — conf
Lattices of Intermediate Theories via Ruitenburg's Theorem.
TbiLLC
Gianluca Grilletti, Davide Emilio Quadrellaro
2018 B conf
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.
Advances in Modal Logic
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
2018 J jnl
Spatio-temporal model checking of vehicular movement in public transport systems.
Int. J. Softw. Tools Technol. Transf.
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2017 — conf
A Dynamic Approach to Temporal Normative Logic.
LORI
Fengkui Ju, Gianluca Grilletti
2017 J jnl
A Dynamic Solution to the Puzzle of Sea Battle.
CoRR
Fengkui Ju, Gianluca Grilletti
2017 — conf
An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic.
TbiLLC
Gianluca Grilletti, Ivano Ciardelli
2015 — conf
An Experimental Spatio-Temporal Model Checker.
SEFM Workshops
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink