Sciweavers

2145 search results - page 2 / 429
» Lax Logical Relations
Sort
View
RELMICS
1998
Springer
13 years 9 months ago
Coping with semilattices of relations in logics with relative accessibility relations
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
Stéphane Demri