Gianluca Grilletti

Available identifiers

Publication	Date of Publication	Type
Esakia duals of regular Heyting algebras	2024-01-04	Paper
An Ehrenfeucht-Fraïssé game for inquisitive first-order logic	2023-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5884959	2023-03-24	Paper
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC	2023-03-02	Paper
Geometric Model Checking of Continuous Space	2023-01-09	Paper
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS	2022-11-08	Paper
Coherence in inquisitive first-order logic	2022-08-02	Paper
Completeness for the classical antecedent fragment of inquisitive first-order logic	2022-01-28	Paper
An Experimental Spatio-Temporal Model Checker	2021-05-18	Paper
Lattices of Intermediate Theories via Ruitenburg's Theorem	2020-04-02	Paper
Algebraic and topological semantics for inquisitive logic via choice-free duality	2020-03-04	Paper
Disjunction and existence properties in inquisitive first-order logic	2019-12-11	Paper
A logic for temporal conditionals and a solution to the sea battle puzzle	2019-07-24	Paper
A dynamic approach to temporal normative logic	2017-11-22	Paper
Complexity of the Model Checking problem for inquisitive propositional and modal logic	N/A	Paper

This page was built for person: Gianluca Grilletti