39 citations · 44 across the 10 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
Inquisitive Neighborhood Logic
Ivano Ciardelli
We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator, which quantifies over neighbo…
cs.LO2024
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…