Pages that link to "Item:Q2062190"

The following pages link to Transitive logics of finite width with respect to proper-successor-equivalence (Q2062190):

Displaying 1 item.

• FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)