L. Santocanale

activity

20042023

most citedDual characterizations for finite lattices via correspondence theory for monotone modal logic

21 citations · 37 across the 30 of their papers we have counts for

collaborators

Showing 2017Show all

2 papers · 1 filter

cs.LO2017

The equational theory of the natural join and inner union is decidable

Luigi Santocanale

The natural join and the inner union operations combine relations of a database. Tropashko and Spight [24] realized that these two operations are the meet and join operations in a…

cs.LO2017★ 2 cited

$ℵ_{1}$ 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…

The equational theory of the natural join and inner union is decidable

ℵ1​ and the modal μ-calculus

$ℵ_{1}$ and the modal $μ$ -calculus