21 citations · 26 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…