Gianluca Grilletti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Esakia duals of regular Heyting algebras Algebra Universalis	2024-01-04	Paper
An Ehrenfeucht-Fraïssé game for inquisitive first-order logic Lecture Notes in Computer Science	2023-12-01	Paper
scientific article; zbMATH DE number 7668110 (Why is no real title available?)	2023-03-24	Paper
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC The Review of Symbolic Logic	2023-03-02	Paper
Geometric Model Checking of Continuous Space Logical Methods in Computer Science	2023-01-09	Paper
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS The Review of Symbolic Logic	2022-11-08	Paper
Coherence in inquisitive first-order logic Annals of Pure and Applied Logic	2022-08-02	Paper
Completeness for the classical antecedent fragment of inquisitive first-order logic Journal of Logic, Language and Information	2022-01-28	Paper
An Experimental Spatio-Temporal Model Checker Software Engineering and Formal Methods	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 Studia Logica	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 (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Gianluca Grilletti