21 citations · 22 across the 3 of their papers we have counts for
5 papers
Complexity of the Model Checking problem for inquisitive propositional and modal logic
Gianluca Grilletti, Ivano Ciardelli
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the proble…
Esakia Duals of Regular Heyting Algebras
Gianluca Grilletti, Davide Emilio Quadrellaro
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and…
Geometric Model Checking of Continuous Space
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +3
Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closur…
Lattices of Intermediate Theories via Ruitenburg's Theorem
Gianluca Grilletti, Davide Emilio Quadrellaro
For every univariate formula we introduce a lattices of intermediate theories: the lattice of -logics. The key idea to define chi-logics is to interpret atomic propositions…
A logic for temporal conditionals and a solution to the Sea Battle Puzzle
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive…