Author

Marianna Girlando

h-index 9 View on Semantic Scholar

We have 2 of 33 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

A decision procedure for intuitionistic modal logic IS4 (and IK4)

In this paper, we show that the two intuitionistic modal logics IS4 and IK4 are decidable. We provide a constructive decision procedure, that, given a formula, produces either a proof showing the formula to be valid or a finite countermodel falsifying the formula, thus also proving the finite model property for both lo...

Marianna Girlando, Roman Kuznets, Sonia Marin et al. · 1 citation

GenZ: A Generic Sequent Calculus Prover using the Zipper

GenZ is introduced, a generic theorem prover for sequent calculi implemented in Haskell that allows the user to specify a set of sequent rules, over which it performs proof search, and employs the zipper data structure.

Xiaoshuang Yang, Malvin Gattinger, Marianna Girlando et al. · 0 citations