3 citations · 5 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 2 cited
and the modal -calculus
Maria João Gouveia, Luigi Santocanale
For a regular cardinal , a formula of the modal -calculus is -continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and pr…
cs.LO2016
Fixed-point elimination in the intuitionistic propositional calculus
Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Prop…