most citedCharacterization and definability in modal first-order fragments

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2010★ 2 cited

Characterization and definability in modal first-order fragments

Facundo Carreiro

Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several m…